%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%% Package `Vaucanson-G' version 0.4
%%
%% This is file `VCPref-default'.
%%
%% IMPORTANT NOTICE:
%%
%% Copyright (C) 2002-2008 Sylvain Lombardy and Jacques Sakarovitch
%%
%% This package may be distributed under the terms of the LaTeX Project
%% Public License, as described in lppl.txt in the base LaTeX distribution.
%% Either version 1.0 or, at your option, any later version.
%%
%% DESCRIPTION:
%%
%% `VCPref-default' contains default values for Vaucanson-G
%%
%% Editing the file and changing these values is of course possible
%% but users are advised to rather edit the file `VCPref-mystyle'
%% instead.
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Scales settings
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\LargeScale}{0.85} %float : argument of a \scalebox
\renewcommand{\MediumScale}{0.6} %float
\renewcommand{\SmallScale}{0.5} %float
\renewcommand{\TinyScale}{0.42} %float
\renewcommand{\VCGridScale}{1} % scale of psunit (in cm)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% State geometry
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setlength{\LargeStateDiameter}{1.2cm} %length
\setlength{\MediumStateDiameter}{.9cm} %length
\setlength{\SmallStateDiameter}{.6cm} %length
\setlength{\VerySmallStateDiameter}{.3cm} %length
\renewcommand{\VSStateLineCoef}{.6} %float: coef*\StateLineWidth
\renewcommand{\StateDimen}{outer}
\renewcommand{\StateDblDimen}{middle}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% State drawing
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\SetStateLineStyle{solid} %% aspect (none, dashed, dotted)
\SetStateLineColor{black} %% color
\SetStateLineWidth{1.8pt} %% length
\SetStateFillStatus{solid} %% aspect
\SetStateFillColor{white} %% color
\renewcommand{\SmallStateFillStatus}{solid} %
\renewcommand{\SmallStateFillColor}{white} %
\SetStateLabelColor{black} %% color
\SetStateLabelScale{1.7} %% float
\FixStateLineDouble{0.6}{0.4} %% Double style: \StateLineDblCoef,
\StateLineDblfalse %% \StateLineDblSep, *\StateLineWidth
%%% Dimmed states
% LineStyle,LineColor,LineCoef (*\StateLineWidth),LabelColor,FillColor
\FixDimState{solid}{gray}{1}{gray}{white} %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Edge drawing (Edge is understood here as transitions!)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\SetEdgeLineStyle{solid} %% aspect
\SetEdgeLineColor{black} %% color
\SetEdgeLineWidth{1pt} %% length
\EdgeLineDblfalse
% coefs*\EdgeLineWidth -> (width of lines, distance)
\FixEdgeLineDouble{0.5}{0.6} %%
\SetEdgeLabelColor{black} %% color
\SetEdgeLabelScale{1.7} %% float
%%% arrows
\SetEdgeArrowWidth{5pt} %width of the edge arrow
\SetEdgeArrowLengthCoef{1.4} %
\setlength{\EdgeDblArrowWidth}{5.5pt} % width for double transitions
\renewcommand{\EdgeDblArrowLengthCoef}{1.7}
\SetEdgeArrowInsetCoef{0.1} %float : coef*\EdgeArrowWidth
\SetEdgeArrowStyle{->} %style (other styles : <-, |-|, -|,...)
\renewcommand{\EdgeRevArrowStyle}{<-} %style for reverse transitions
%%% Dimmed edges
% LineStyle,LineCoef,LineColor,LabelColor
\FixDimEdge{solid}{1.2}{gray}{gray} %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Edge geometry
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\SetEdgeOffset{0pt} %% length
\renewcommand{\ForthBackEdgeOffset}{5} %% coef*\EdgeLineWidth -> offset
\setlength{\EdgeNodeSep}{0pt}
% int,color : coef*\EdgeLineWidth -> width of border
\FixEdgeBorder{2}{white} %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% ZZ geometry
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setlength{\ZZSize}{.9cm} % length : apparent diameter
\renewcommand{\ZZShape}{0.5} % coef: opening of the ZZ
\SetZZLineWidth{1.7} % float
% coef*\ZZSize -> distance added for labels
\renewcommand{\TransLabelZZCoef}{0.6} % float
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Arc geometry
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\SetArcAngle{15} %% int (degree)
\SetLArcAngle{30} %% int (degree)
\SetArcCurvature{0.8} %% float
\SetArcOffset{1pt} %% length
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Loop geometry
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\LoopAngle}{30}
\renewcommand{\CLoopAngle}{22}
\renewcommand{\LoopVarAngle}{28}
\SetLoopOffset{0pt} %% length
\setlength{\LoopVarOffset}{.7pt}
% loop curvature
\renewcommand{\LoopOnLargeState}{5.8} %float
\renewcommand{\LoopOnMediumState}{7} %float
\renewcommand{\LoopOnSmallState}{9.6} %float
\renewcommand{\LoopOnVariableState}{5.1} %float
\renewcommand{\CLoopOnLargeState}{6} %float
\renewcommand{\CLoopOnMediumState}{8} %float
\renewcommand{\CLoopOnSmallState}{12} %float
\renewcommand{\CLoopOnVariableState}{5.2} %float
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Edge labels positioning
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setlength{\TransLabelSep}{3.5pt}
% per cent (use \Fix..LabelPosit with values in [10;90])
\renewcommand{\EdgeLabelPosit}{.45} %
\renewcommand{\EdgeLabelRevPosit}{.55}
\renewcommand{\ArcLabelPosit}{.40}
\renewcommand{\ArcLabelRevPosit}{.60}
\renewcommand{\LArcLabelPosit}{.40}
\renewcommand{\LArcLabelRevPosit}{.60}
\renewcommand{\LoopLabelPosit}{.25}
\renewcommand{\LoopLabelRevPosit}{.75}
\renewcommand{\CLoopLabelPosit}{.25}
\renewcommand{\CLoopLabelRevPosit}{.75}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Initial states parameters
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% float : coef *\StateDiameter for size of initial and final arrows
\renewcommand{\ArrowOnMediumState}{1.5} %float
\renewcommand{\ArrowOnSmallState}{1.7} %float
\renewcommand{\ArrowOnLargeState}{1.3} %float
\renewcommand{\ArrowOnVerySmallState}{5} %float
%
\renewcommand{\InitStateLabelPosit}{.10}
\renewcommand{\InitStateLabelRevPosit}{.90}
\renewcommand{\FinalStateLabelPosit}{.90}
\renewcommand{\FinalStateLabelRevPosit}{.10}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Initialization
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\SetVCDirectory{} %default dir=current dir
\HideFrame
\HideGrid
\MediumPicture
\HideName
\RigidLabel
\FullState %% PlainState
\MediumState
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\endinput