Name

sumelm — Elimination of sum variables

Synopsis

sumelm [-help] [-help-all] [-version] [-monitor] [-no-singleton] [Data Options] [Rewriter Options] [input.tbf]

Description

This filter reads from input.tbf (or stdin if not given) an LPE in .tbf format. Sometimes a sum variable or a process parameter in a summand is bound to one and not more than one data term by the condition of that summand. This binding will be caused by the occurrences of eq functions in the conditions. If such a data term is found then this will be substituted in all the occurrences of that sum variable or process parameter.

The involved sum variables become superfluous and will be removed from the summands.

It writes the rewritten LPE to stdout.

Options

-help

Display help information

-help-all

Display all help information

-version

Get the version number of this release

-monitor

Display progressing information

-no-singleton

No removal of sum variables which have sorts of cardinality one

Last update

16 December 2008 by Bert Lisser