Manual page for lpscleave




Decomposes the data parameters of the linear process specification (LPS) in INFILE and write the result of the left component to OUTFILE1 and the rightcomponent to OUTFILE2. If INFILE is not present, stdin is used.

Command line options

-pPARAMS , --parametersPARAMS

A comma separated list of PARAMS that are used for the left process of the cleave.

-sPARAMS , --sharedPARAMS

A comma separated list of shared PARAMS that occur in both processes of the cleave.

-c , --split-condition

Enable heuristics to split the condition of each summand.

-lINDICES , --summandsINDICES

A comma separated list of INDICES of summands where the left process generates the action.


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


display intermediate messages up to and including level

-h , --help

display help information


display version information


Maurice Laveaux