gfsmrenumber - Renumber states in finite state machines
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. -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).
Renumber states in finite state machines
BINFILE
Stored binary gfsm file
If unspecified, standard input will be read
--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.
--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: '-'
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.
Documentation file auto-generated by optgen.perl version 0.07 using Getopt::Gen version 0.13. Translation was initiated as:
optgen.perl -l --nocfile --nohfile --notimestamp -F gfsmrenumber gfsmrenumber.gog
None known.
Perl by Larry Wall.
Getopt::Gen by Bryan Jurish.
Bryan Jurish <moocow.bovine@gmail.com>