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