Name

decluster — Makes sum variables superfluous by splitting summands

Synopsis

decluster [-help] [-help-all] [-version] [-finite] [-report] [-sortsort] [Stepper Options] [Rewriter Options] [Data Options] input.tbf

Description

This filter reads from input.tbf (or stdin if not given) an LPE in .tbf format, makes sumvariables superfluous by enlarging the number of summands and writes the LPE to stdout. The sumvariables will not be removed. The tool parelm removes them.

Options

-help

Display help information

-help-all

Display all help information

-version

Get the version number of this release

-finite

Processes only sumvariables whose sorts are finite.

-report

Reports the sorts which are processed.

-sort sort

Processes only sumvariables of sort.

Last update

16 December 2008 by Bert Lisser