About this Document

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.
    -a       --affine          Just close state-enumeration gaps and map root to zero (default)
    -d       --depth           Enumerate states by depth-first search
    -b       --breadth         Enumerate states by breadth-first search
    -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'

--affine , -a

Just close state-enumeration gaps and map root to zero (default)

Default: '0'

--depth , -d

Enumerate states by depth-first search

Default: '0'

--breadth , -b

Enumerate states by breadth-first search

Default: '0'

--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: '-'

ADDENDA

About this Document

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 gfsmrenumber gfsmrenumber.gog

BUGS AND LIMITATIONS

None known.

ACKNOWLEDGEMENTS

Perl by Larry Wall.

Getopt::Gen by Bryan Jurish.

AUTHOR

Bryan Jurish <moocow.bovine@gmail.com>