parelm — Elimination of inert process parameters and not occurring sum variables
parelm
[-help
] [-help-all
] [-version
] [Data Options
] [
]input
.tbf
This filter reads from
(or
input
.tbf stdin
if not given) an LPE
in .tbf
format.
It removes process parameters and not occurring sum variables.
The output LPE is stronly bisimilar to the input LPE.
It does the following steps:
Select the process parameters which occur in the conditions and the action arguments of the LPE
Add to that selection all these process parameters on which all in the previous step selected process parameters depend
Remove all these parameters which are not selected
Remove in each summand the process arguments belonging to the removed parameters
Remove in each summand all these sum variables which occur neither in the condition, nor in the action arguments, nor in the state vector
It writes the LPE to stdout
.