This is the counterpart to lpscleave, see that tool documentation for a complete overview.
lpscombine [OPTION]... INFILE1 [INFILE2 [OUTFILE]]
Combines two linear process specifications (LPS) obtained from lpscleave in INFILE1 and INFILE2 and writes the resulting mCRL2 specification to OUTFILE1. If INFILE2 is not present, stdin is used.
-t
, --introduce-tags
Introduce tag actions for every multi-action without synchronisation actions.
-l
, --lts
Combine two labelled transition systems based on the composition semantics
-fPREFIX
, --prefix=PREFIX
Add a prefix to the synchronisation action labels to ensure that do not already occur in the specification
--timings[=FILE]
append timing measurements to FILE. Measurements are written to standard error if no FILE is provided
-q
, --quiet
do not display warning messages
-v
, --verbose
display short intermediate messages
-d
, --debug
display detailed intermediate messages
--log-level=LEVEL
display intermediate messages up to and including level
-h
, --help
display help information
--version
display version information
--help-all
display help information, including hidden and experimental options
Maurice Laveaux