lpscombine

Manual page for lpscleave

Usage

lpscleave   [OPTION]... INFILE1 [INFILE2 [OUTFILE]]

Description

Combines two linear process specifications (LPS) obtained from lpscleave in INFILE1 and INFILE2 and writes the resulting mCRL2 specification to OUTFILE1. This is mainly a debugging tool to ensure that lpscleave results in a strongly bisimilar decomposition. Internally uses string replacement to rename the right process to Q, which is not robust. If INFILE2 is not present, stdin is used.

Command line options

--timings[FILE]

append timing measurements to FILE. Measurements are written to standard error if no FILE is provided

Standard options

-q , --quiet

do not display warning messages

-v , --verbose

display short intermediate messages

-d , --debug

display detailed intermediate messages

--log-levelLEVEL

display intermediate messages up to and including level

-h , --help

display help information

--version

display version information

Author

Maurice Laveaux