Package | Description |
---|---|
org.processmining.plugins.ltlchecker | |
org.processmining.plugins.ltlchecker.parser | |
org.processmining.plugins.ltlchecker.util |
Modifier and Type | Method and Description |
---|---|
protected ParamData |
CheckVisualizerGUI.createDataModel(java.util.List<FormulaParameter> items) |
protected ParamData |
LTLChecker.createDataModel(java.util.List<FormulaParameter> items) |
Modifier and Type | Method and Description |
---|---|
FormulaParameter |
LTLParser.arg(java.util.List<FormulaParameter> localVars) |
Modifier and Type | Method and Description |
---|---|
java.util.List<FormulaParameter> |
LTLParser.argList() |
java.util.List<FormulaParameter> |
LTLParser.getParameters(java.lang.String id)
Get the parameters linked with id.
|
Modifier and Type | Method and Description |
---|---|
FormulaParameter |
LTLParser.arg(java.util.List<FormulaParameter> localVars) |
java.lang.String |
ASTformulaDefinition.asParseableString(java.util.List<FormulaParameter> args,
int type) |
java.lang.String |
SimpleNode.asParseableString(java.util.List<FormulaParameter> args,
int type) |
Constructor and Description |
---|
ParamData(java.util.List<FormulaParameter> params) |