| Package | Description |
|---|---|
| org.processmining.plugins.ltlchecker | |
| org.processmining.plugins.ltlchecker.util |
| Class and 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 |
| SetsSet |
| Class and 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. |
| SetsSet |
| SetsSetItem |
| Substitutes
Substitutes is a wrapper class for a treemap containing substitutes in local
context.
|