constelm — Elimination of constant process parameters
constelm
[-help
] [-help-all
] [-version
] [-monitor
] [-no-singleton
] [-no-condition
] [Data Options
] [Rewriter Options
] [
]input
.tbf
This filter reads from
(or
input
.tbf stdin
if not given) an LPE
in .tbf
format,
removes process parameters which are constant
in the reachable state space and rewrites the LPE.
It writes the LPE to stdout
.
It does the following steps:
Mark all process parameters and rewrite the initial state vector
Substitute in all occurrences of marked process parameters its initial values and rewrite all data arguments
Unmark the process parameter of which one of its process arguments is not equal to its initial value, and undo the substitutions in all occurrences of this process parameter (assign the original value)
Repeat the previous two steps until no process parameters become unmarked
Remove all marked parameters
-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 data variables which have sorts of cardinality one
-no-condition
No check if conditions are rewritten to false
.
Saves computing time.