Name

tbfupdate — Renaming of actions directed by conditional renaming rules

Synopsis

tbfupdate {-edit file} [Data Options] [-monitor] [-help] [-help-all] [-version] input

Description

This filter reads from input.tbf (or stdin if not given) an LPE in .tbf format, renames the actions mentioned in renaming rules defined in file. The output LPE will be written to stdout.

The renaming rules must have the following format:

term1 ->term2 [< condition ]

condition::= eq {& eq} ...

eq::= variable = term

Variables in term1 will be interpreted as matching variables. The matched subterm will be assigned to them in the matching phase. These variables can be used in term2 and condition. condition is a conjunction of equalities. The first encountered match will be applied. If the matching rule has a condition then the summand will be split into a summand whose guard is a conjunction of its original guard and the condition, and a summand whose guard is a conjunction of its original guard and the negated condition. The next matching rule will split this last summand. File abp.edt contains an example. A transformed summand which contains renamed action delta will not be written, except if the flag -delta is present.

Options

-edit file

This flag is obligatory. The renaming rules are defined in file.

-monitor

Display progressing information

-delta

Summands with renamed action delta will be written too.

-help

Display help information

-help-all

Display all help information

-version

Get the version number of this release

Last update

16 December 2008 by Bert Lisser