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.

--where

Include file and line number in debug messages.

--when

Include the wall time since program start in all messages.

SEE ALSO