| Class | Description |
|---|---|
| ParamData |
ParamData is an implementation of the
TableModel class to be used as
model for the tabel for filling the parameters of a template ltl formula. |
| ParamTable | |
| RemoveDouble | |
| SetsSet | |
| SetsSetItem | |
| Substitutes |
Substitutes is a wrapper class for a treemap containing substitutes in local
context.
|
| TreeBuilder |
TreeBuilder builds a formula tree from a parsetree and the name of a formula.
|