sumelm — Elimination of sum variables
sumelm
[-help
] [-help-all
] [-version
] [-monitor
] [-no-singleton
] [Data Options
] [Rewriter Options
] [
]input
.tbf
This filter reads from
(or
input
.tbf 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
.