%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % This files contains initial values % of Vaucanson's parameter % Modify it to create your own style % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%% % State aspect %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \SetStateLabelColor{black} %% color \SetStateLabelScale{1.7} %% float \SetStateLineStyle{solid} %% aspect (other values: none, dashed, dotted) \SetStateLineWidth{1.8pt} %% length \SetStateLineColor{black} %% color \SetStateFillStatus{solid} %% aspect \SetStateFillColor{white} %% color \FixDimState{solid}{gray}{1}{gray}{white} %% LineStyle,LineColor,LineCoef (*\StateLineWidth),LabelColor,FillColor \FixStateLineDouble{0.6}{0.4} %% Double style: \StateLineDblCoef, \StateLineDblSep, coeffs applied to \StateLineWidth %%%%%%%%%%%%%% % Edge aspect %%%%%%%%%%%%%% \SetEdgeLabelColor{black} %% color \SetEdgeLabelScale{1.7} %% float \SetEdgeLineStyle{solid} %% aspect \SetEdgeLineWidth{1pt} %% length \SetEdgeLineColor{black} %% color \SetArcAngle{15} %% int (degree) \SetLArcAngle{30} %% int (degree) \SetArcCurvature{0.8} %% float \SetEdgeOffset{0pt} %% length \SetArcOffset{1pt} %% length \SetLoopOffset{0pt} %% length \renewcommand{\ForthBackEdgeOffset}{5} %% float : coef*\EdgeLineWidth -> offset \FixDimEdge{solid}{1.2}{gray}{gray} %% LineStyle,LineCoef,LineColor,LabelColor \FixEdgeBorder{2}{white} %% int,color : coef*\EdgeLineWidth -> width of border \FixEdgeLineDouble{0.5}{0.6} %% float : coefs*\EdgeLineWidth -> (width of lines, distance) %%%%%%%%%%%%%% % ZZ aspect %%%%%%%%%%%%%% \setlength{\ZZSize}{.9cm} % length : apparent diameter \renewcommand{\ZZShape}{0.5} % coef: opening of the ZZ \SetZZLineWidth{1.7} % float \renewcommand{\TransLabelZZCoef}{0.6} % float : coef*\ZZSize -> distance added for labels %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Scales --- Default 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 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% State parameters --- Default settings %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \setlength{\MediumStateDiameter}{.9cm} %length \setlength{\SmallStateDiameter}{.6cm} %length \setlength{\LargeStateDiameter}{1.2cm} %length \setlength{\VerySmallStateDiameter}{.3cm} %length \renewcommand{\VSStateLineCoef}{.6} %float : coef *\StateLineWidth %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \renewcommand{\ArrowOnMediumState}{1.5} %float : coef *\StateDiameter for size of initial and final arrows \renewcommand{\ArrowOnSmallState}{1.7} %float \renewcommand{\ArrowOnLargeState}{1.3} %float \renewcommand{\ArrowOnVerySmallState}{5} %float \renewcommand{\LoopOnMediumState}{7} %float : curvature \renewcommand{\LoopOnSmallState}{9.6} %float \renewcommand{\LoopOnLargeState}{5.8} %float \renewcommand{\LoopOnVariableState}{5.1} %float \renewcommand{\CLoopOnMediumState}{8} %float \renewcommand{\CLoopOnSmallState}{12} %float \renewcommand{\CLoopOnLargeState}{6} %float \renewcommand{\CLoopOnVariableState}{5.2} %float %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Edge parameters --- Default settings %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \renewcommand{\EdgeLabelPosit}{.45} %per cent (use \Fix..LabelPosit with values in [10;90]) \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} \renewcommand{\InitStateLabelPosit}{.10} \renewcommand{\InitStateLabelRevPosit}{.90} \renewcommand{\FinalStateLabelPosit}{.90} \renewcommand{\FinalStateLabelRevPosit}{.10} \SetEdgeArrowWidth{5pt} %length of the edge arrow \SetEdgeArrowLengthCoef{1.4} %float : coef*\EdgeArrowSizeDim width of EA \setlength{\EdgeDblArrowWidth}{5.5pt} %length : size of EA for double transitions \renewcommand{\EdgeDblArrowLengthCoef}{1.7} %int \SetEdgeArrowInsetCoef{0.1} %float : coef*\EdgeArrowSizeDim \SetEdgeArrowStyle{->} %style (other styles : <-, |-|, -|,...) \renewcommand{\EdgeRevArrowStyle}{<-} %style for reverse transitions \renewcommand{\StateDimen}{outer} %side of the boundary of states that corresponds to the diameter \renewcommand{\StateDblDimen}{middle} %idem for states with double line (values: outer, middle or inner) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% Initialization %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \SetVCDirectory{} %default dir=current dir \HideFrame \HideGrid \MediumPicture \HideName \RigidLabel \FullState %% PlainState \MediumState