SYNOPSIS
ltsmin-reduce [OPTIONS] <input> [<output>]
OPTIONS
- -s, --strong
-
Minimize modulo strong bisimulation using the default implementation.
- -b, --branching
-
Minimize modulo branching bisimulation using the default implementation.
- --divergence
-
When used in combination with branching bisimulation, the result is divergence preserving branching bisimulation.
- -c, --copy
-
Perform a load/store copy.
- -l, --lump
-
Minimize modulo CTMC lumping.
- --silent
-
Minimize modulo silent step bisimulation. This bisimulation is a generalization of tau * a bisimulation to arbitrary LTSs.
- --cycle
-
Minimize the lts modulo strongly connected components of silent steps.
- --determinize
-
Compute a deterministic version of the given LTS.
- --segments=N
-
Use N segments in the output file.
LTS I/O Options
- --block-size=BYTES
-
Size of a block in bytes. Defaults to 32,768.
- --cluster-size=BLOCKS
-
Number of blocks in a cluster. Defaults to 32.
General Options
- -v
-
Increase the level of verbosity
- -q
-
Be quiet; do not print anything to the terminal.
- --debug=file
-
Enable debugging output for file.
- --version
-
Print version string of this tool.
- -h, --help
-
Print help text
- --usage
-
Print short usage summary.
- --stats
-
Enable statistics gathering/printing.
- --timeout=INT
-
Terminate after the given amount of seconds.
- --where
-
Include file and line number in debug messages.
- --when
-
Include the wall time since program start in all messages.