Name

constelm — Elimination of constant process parameters

Synopsis

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

Description

This filter reads from input.tbf (or 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

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 data variables which have sorts of cardinality one

-no-condition

No check if conditions are rewritten to false. Saves computing time.

Last update

16 December 2008 by Bert Lisser