SYNOPSIS

ltsmin-convert [OPTION]… input output

DESCRIPTION

This tool copies input to output and changes the archive format on-the-fly. Both input and output format are detected by pattern matching. See the File Formats section for details.

OPTIONS

--segments

Set the number of segments in the output file. If the output format does not support segmentation (BCG) then the default is 1 and specifying any number other than 1 is an error. Otherwise, the default is the same number of segments as the input. Please note that the algorithm used for changing the number of segments is simple. It guarantees that the number of states in the output is balanced, but not much more. E.g., if the input is in BFS order and just one segment then then the output will still be in BFS order. However, if the input has more than one segment then BFS order is lost.

Container 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.

--plain

Disable compression of output containers.

General Options

-v

Increase the level of verbosity

-q

Be quiet; do not print anything to the terminal.

--debug

Enable debugging output.

--version

Print version string of this tool.

-h, --help

Print help text

--usage

Print short usage summary.

File Formats

The following file formats are supported:

The directory format uses multiple files to store a LTS. The various extension explain how these files are stored in the underlying file system. The *.dir format uses multiple files in a directory without compression. If the LTS has one edge label, no state labels and does not store state vectors then these files are backwards compatible. Neither the *.dz nor the *.gcf formats are backwards compatible. Both formats use compression. The first uses a directory for the files, second interleaves files into a single file.

If you try to open a *.dir with the old mCRL tools and you get the error message:

wrong file version: 0

then the directory is probably compressed. If that happens then you may convert the directory by typing the command:

ltsmin-convert bad.dir good.dir

EXIT STATUS

0

Successful termination.

>0

Some error occurred.

SEE ALSO

ltsmin(7), lpo2lts-grey(1), lps2lts-grey(1), nips2lts-grey(1), lpo2lts-mpi(1), lps2lts-mpi(1), nips2lts-mpi(1), ltsmin-convert(1), CADP, BCG