blob: 53df4849e2f824b713e200c4a75ec14aaeb95ea3 (
plain)
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
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%% Package `Vaucanson-G' version 0.4
%%
%% This is file `VCPref-mystyle'.
%%
%% 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-mystyle' is style file for Vaucanson-G.
%% The wrapper vaucanson-g.sty can be called with the option {mystyle}
%% in which case this file this read after the file Vaucanson-G.tex
%% The file is ready to be edited by any user.
%% The actual values are those that give figure a look like with
%% the GasTex package.
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Scales ---
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\LargeScale}{1.2} %float : argument of a \scalebox
\renewcommand{\MediumScale}{1} %float
\renewcommand{\SmallScale}{.7} %float
\renewcommand{\TinyScale}{0.5} %float
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% State parameters --- Default settings
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setlength{\LargeStateDiameter}{1.2cm} %length
\setlength{\MediumStateDiameter}{.8cm} %length
\setlength{\SmallStateDiameter}{.6cm} %length
\renewcommand{\StateDblDimen}{outer}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% State aspect
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\SetStateLineWidth{.14mm} %% length
\SetStateFillStatus{none} %% aspect
\SetStateFillColor{black} %% color
\SetStateLabelScale{1} %% float
\FixStateLineDouble{2}{5} %% Double style:
%%%%%%%%%%%%%%
% Edge aspect
%%%%%%%%%%%%%%
\SetEdgeLineWidth{.14mm} %% length
\SetEdgeLabelColor{black} %% color
\SetEdgeLabelScale{1} %% float
\FixEdgeLineDouble{1.5}{2} %% float :
%%% arrows
\SetEdgeArrowWidth{1.03mm} %width of the edge arrow
\SetEdgeArrowLengthCoef{1.37} %float :
\setlength{\EdgeDblArrowWidth}{1.3mm} %width :
\renewcommand{\EdgeDblArrowLengthCoef}{1.09} %
\SetEdgeArrowInsetCoef{0} %float : coef*\EdgeArrowSizeDim
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Arc geometry
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\SetArcAngle{17} %% int (degree)
\SetLArcAngle{30} %% int (degree)
\SetArcCurvature{0.7} %% float
\SetArcOffset{1pt} %% length
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Loop geometry
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\LoopOnLargeState}{5.5} %float
\renewcommand{\LoopOnMediumState}{7} %float : curvature
\renewcommand{\LoopOnSmallState}{9} %float
\renewcommand{\LoopOnVariableState}{4.5} %float
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Edge labels positionning
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\EdgeLabelPosit}{.5} %per cent
\renewcommand{\EdgeLabelRevPosit}{.5}
\renewcommand{\ArcLabelPosit}{.5}
\renewcommand{\ArcLabelRevPosit}{.5}
\renewcommand{\LArcLabelPosit}{.5}
\renewcommand{\LArcLabelRevPosit}{.5}
\renewcommand{\LoopLabelPosit}{.5}
\renewcommand{\LoopLabelRevPosit}{.5}
\renewcommand{\CLoopLabelPosit}{.5}
\renewcommand{\CLoopLabelRevPosit}{.5}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Initial states parameters
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\ArrowOnMediumState}{1} %float
\renewcommand{\ArrowOnSmallState}{1} %float
\renewcommand{\ArrowOnLargeState}{1} %float
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\endinput
|