SYNOPSIS
ce-mpi [OPTION] <input> <output>
DESCRIPTION
This tool removes tau cycles (strongly connected components) from a labeled transition system. The default reduction algorithm is coloring.
For both, input and output only (old-style) DIR archives are supported; see also ltsmin-convert(1).
Using the option --workers=N, this tool starts the command mpirun silently in the background with the suitable options, i.e. -np 4. Alternatively, one may wish to call mpirun with additional options. This can be done using the --mpi option, e.g.:
mpirun -np 4 -mca btl tcp,self {manname} --mpiThe tool uses MPI for distributed
computation, thus it has to be started via mpirun. nodespec
determines which processors the tool is run on.
The workers send messages to themselves. So if you use
Open MPI, you have to use
mpirun -mca btl CONNECT,self NODESPEC where
CONNECT can be tcp, mx, ib, etc..
OPTIONS
Reductions
- --color
-
Apply cycle elimination using coloring (default).
- --group
-
Apply cycle elimination using groups.
General Options
- -v
-
Increase the level of verbosity
- -q
-
Be quiet; do not print anything to the terminal.
- --debug=<file.c>
-
Enable debugging output for file.c (option allowed multiple times).
- --version
-
Print version string of this tool.
- -h, --help
-
Print help text
- --usage
-
Print short usage summary.
EXIT STATUS
- 0
-
Successful termination.
- 255
-
Some error occurred.
SUPPORT
Send questions, bug reports, comments and feature suggestions to the LTSmin Support Team.