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. -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. -HFLOAT --height=FLOAT Specify output height. -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
If unspecified, standard input will be read
--help
, -h
Default: '0'
--version
, -V
Default: '0'
--ilabels=LABELS
, -iLABELS
Default: 'NULL'
--olabels=LABELS
, -oLABELS
Default: 'NULL'
--slabels=LABELS
, -sLABELS
Default: 'NULL'
--title=TITLE
, -tTITLE
Default: 'NULL'
Default is input filename.
--vertical
, -v
Default: '0'
Default mode is top-to-bottom
--output=DOTFILE
, -FDOTFILE
Default: 'NULL'
Default behavior is to write to stdout.
--dot
, -d
Default: '0'
--width=FLOAT
, -WFLOAT
Default: '8.5'
--height=FLOAT
, -HFLOAT
Default: '11'
--fontsize=POINTS
, -fPOINTS
Default: '14'
--font=FONT
Default: 'NULL'
--nodesep=FLOAT
, -nFLOAT
Default: '0.25'
--ranksep=FLOAT
, -rFLOAT
Default: '0.40'
--portrait
, -p
Default: '0'
Default mode is landscape.
--vcg
, -g
Default: '0'
--xspace=INT
, -xINT
Default: '40'
--yspace=INT
, -yINT
Default: '20'
--state-shape=SHAPE
Default: 'box'
--state-color=COLOR
Default: 'white'
--final-color=COLOR
Default: 'lightgrey'
Documentation file auto-generated by optgen.perl version 0.04. Translation was initiated on Thu Sep 2 20:12:42 CEST 2004 as:
/usr/local/bin/optgen.perl -l --nocfile --nohfile --no-handle-rcfile -F gfsmdraw gfsmdraw.gog
None known.
Perl by Larry Wall.
Getopt::Gen by Bryan Jurish.
Bryan Jurish <moocow@ling.uni-potsdam.de>
the gfsmutils manpage,
dot(1),
vcg(1),
xvcg(1)