gfsmconvert - Convert binary format gfsm files
gfsmconvert [OPTIONS] FSMFILE
Arguments: FSMFILE Stored binary gfsm file
Options -h --help Print help and exit. -V --version Print version and exit. -sSRTYPE --semiring=SRTYPE Specify semiring type. -FFILE --output=FILE Specifiy output file (default=stdout).
Convert binary format gfsm files
FSMFILE
If unspecified, standard input will be read
--help
, -h
Default: '0'
--version
, -V
Default: '0'
--semiring=SRTYPE
, -sSRTYPE
Default: 'NULL'
Specify one of the following:
boolean log real trivial tropical
--output=FILE
, -FFILE
Default: '-'
Documentation file auto-generated by optgen.perl version 0.04. Translation was initiated on Fri Sep 24 09:58:50 CEST 2004 as:
/usr/local/bin/optgen.perl -l --nocfile --nohfile --no-handle-rcfile -F gfsmconvert gfsmconvert.gog
None known.
Perl by Larry Wall.
Getopt::Gen by Bryan Jurish.
Bryan Jurish <moocow@ling.uni-potsdam.de>