tbfupdate — Renaming of actions directed by conditional renaming rules
tbfupdate
{-edit
file
} [Data Options
] [-monitor
] [-help
] [-help-all
] [-version
] input
This filter reads from
(or
input
.tbf stdin
if not given) an LPE
in .tbf
format, renames the actions mentioned in
renaming rules defined in
.
The output LPE will be written to file
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.
-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