summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-default.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/generic/vaucanson-g/VCPref-default.tex')
-rw-r--r--Master/texmf-dist/tex/generic/vaucanson-g/VCPref-default.tex160
1 files changed, 160 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-default.tex b/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-default.tex
new file mode 100644
index 00000000000..849575e1eef
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/vaucanson-g/VCPref-default.tex
@@ -0,0 +1,160 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% 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