%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%% 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