NAME

gfsmconvert - Convert binary format gfsm files


SYNOPSIS

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).


DESCRIPTION

Convert binary format gfsm files


ARGUMENTS

FSMFILE
Stored binary gfsm file

If unspecified, standard input will be read


OPTIONS

--help , -h
Print help and exit.

Default: '0'

--version , -V
Print version and exit.

Default: '0'

--semiring=SRTYPE , -sSRTYPE
Specify semiring type.

Default: 'NULL'

Specify one of the following:

 boolean
 log
 real
 trivial
 tropical

--output=FILE , -FFILE
Specifiy output file (default=stdout).

Default: '-'


ADDENDA

About this Document

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


BUGS AND LIMITATIONS

None known.


ACKNOWLEDGEMENTS

Perl by Larry Wall.

Getopt::Gen by Bryan Jurish.


AUTHOR

Bryan Jurish <moocow@ling.uni-potsdam.de>


SEE ALSO

the gfsmutils manpage