lpscleave

Manual page for lpscleave

Usage

lpscleave   [OPTION]... [INFILE] OUTFILE1 OUTFILE2

Description

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.

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