summaryrefslogtreecommitdiffstats
path: root/Tex/old_master/VCPref-main.tex
blob: 13160a2035be8149a2d6da3748ed6558a8ba081c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%  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