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.
|