NAME

gfsmrenumber - Renumber states in finite state machines


SYNOPSIS

gfsmrenumber [OPTIONS] BINFILE

 Arguments:
    BINFILE  Stored binary gfsm file
 Options
    -h       --help            Print help and exit.
    -V       --version         Print version and exit.
    -cFILE   --rcfile=FILE     Read an alternate configuration file.
    -zLEVEL  --compress=LEVEL  Specify compression level of output file.
    -FFILE   --output=FILE     Specifiy output file (default=stdout).


DESCRIPTION

Renumber states in finite state machines


ARGUMENTS

BINFILE

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'

--rcfile=FILE , -cFILE

Read an alternate configuration file.

Default: 'NULL'

See also: CONFIGURATION FILES.

--compress=LEVEL , -zLEVEL

Specify compression level of output file.

Default: '-1'

Specify zlib compression level of output file. -1 (default) indicates the default compression level, 0 (zero) indicates no zlib compression at all, and 9 indicates the best possible compression.

--output=FILE , -FFILE

Specifiy output file (default=stdout).

Default: '-'


CONFIGURATION FILES

Configuration files are expected to contain lines of the form:

    LONG_OPTION_NAME    OPTION_VALUE

where LONG_OPTION_NAME is the long name of some option, without the leading '--', and OPTION_VALUE is the value for that option, if any. Fields are whitespace-separated. Blank lines and comments (lines beginning with '#') are ignored.

No configuration files are read by default.


ADDENDA

About this Document

Documentation file auto-generated by optgen.perl version 0.05. Translation was initiated on Thu Feb 15 17:41:40 CET 2007 as:

   /usr/local/bin/optgen.perl -l --nocfile --nohfile -F gfsmrenumber gfsmrenumber.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