gfsmdraw - Generate graph specifications from binary gfsm files
gfsmdraw [OPTIONS] BINFILE
Arguments: BINFILE Stored binary gfsm file
Options -h --help Print help and exit. -V --version Print version and exit.
Common Options -iLABELS --ilabels=LABELS Specify input (lower) labels file. -oLABELS --olabels=LABELS Specify output (upper) labels file. -lLABELS --labels=LABELS Set -i and -o labels simultaneously. -sLABELS --slabels=LABELS Specify state labels file. -tTITLE --title=TITLE Specify output title. -v --vertical Draw vertically. -FDOTFILE --output=DOTFILE Output graph specification.
dot Options -d --dot Request dot output (default) -WFLOAT --width=FLOAT Specify output width (default=bbox). -HFLOAT --height=FLOAT Specify output height (default=bbox). -fPOINTS --fontsize=POINTS Set output font size. --font=FONT Set output font name. -nFLOAT --nodesep=FLOAT Set min node separation. -rFLOAT --ranksep=FLOAT Set min rank separation. -p --portrait Generate in portrait mode.
VCG Options -g --vcg Request VCG output. -xINT --xspace=INT Set xspace graph parameter. -yINT --yspace=INT Set yspace graph parameter. --state-shape=SHAPE Set shape for state nodes. --state-color=COLOR Set default state color. --final-color=COLOR Set color for final states.
Generate graph specifications from binary gfsm files
gfsmdraw reads a binary GFSM file file and produces a graph specification
in either dot(1)
or vcg(1)
format.
BINFILE
Stored binary gfsm file
If unspecified, standard input will be read
--help
, -h
Print help and exit.
Default: '0'
--version
, -V
Print version and exit.
Default: '0'
--ilabels=LABELS
, -iLABELS
Specify input (lower) labels file.
Default: 'NULL'
--olabels=LABELS
, -oLABELS
Specify output (upper) labels file.
Default: 'NULL'
--labels=LABELS
, -lLABELS
Set -i and -o labels simultaneously.
Default: 'NULL'
--slabels=LABELS
, -sLABELS
Specify state labels file.
Default: 'NULL'
--title=TITLE
, -tTITLE
Specify output title.
Default: 'NULL'
Default is input filename.
--vertical
, -v
Draw vertically.
Default: '0'
Default mode is top-to-bottom
--output=DOTFILE
, -FDOTFILE
Output graph specification.
Default: 'NULL'
Default behavior is to write to stdout.
--dot
, -d
Request dot output (default)
Default: '0'
--width=FLOAT
, -WFLOAT
Specify output width (default=bbox).
Default: '8.5'
--height=FLOAT
, -HFLOAT
Specify output height (default=bbox).
Default: '11'
--fontsize=POINTS
, -fPOINTS
Set output font size.
Default: '14'
--font=FONT
Set output font name.
Default: 'NULL'
--nodesep=FLOAT
, -nFLOAT
Set min node separation.
Default: '0.25'
--ranksep=FLOAT
, -rFLOAT
Set min rank separation.
Default: '0.40'
--portrait
, -p
Generate in portrait mode.
Default: '0'
Default mode is landscape.
--vcg
, -g
Request VCG output.
Default: '0'
--xspace=INT
, -xINT
Set xspace graph parameter.
Default: '40'
--yspace=INT
, -yINT
Set yspace graph parameter.
Default: '20'
--state-shape=SHAPE
Set shape for state nodes.
Default: 'box'
--state-color=COLOR
Set default state color.
Default: 'white'
--final-color=COLOR
Set color for final states.
Default: 'lightgrey'
Documentation file auto-generated by optgen.perl version 0.07 using Getopt::Gen version 0.13. Translation was initiated as:
optgen.perl -l --no-handle-rcfile --nocfile --nohfile --notimestamp -F gfsmdraw gfsmdraw.gog
None known.
Perl by Larry Wall.
Getopt::Gen by Bryan Jurish.
Bryan Jurish <moocow.bovine@gmail.com>
the gfsmutils manpage,
dot(1)
,
vcg(1)
,
xvcg(1)