Uses of Class
org.processmining.plugins.ltlchecker.parser.FormulaParameter

Packages that use FormulaParameter

Package	Description
org.processmining.plugins.ltlchecker
org.processmining.plugins.ltlchecker.parser
org.processmining.plugins.ltlchecker.util

Uses of FormulaParameter in org.processmining.plugins.ltlchecker

Method parameters in org.processmining.plugins.ltlchecker with type arguments of type FormulaParameter

Modifier and Type	Method and Description
protected ParamData	CheckVisualizerGUI.createDataModel(java.util.List<FormulaParameter> items)
protected ParamData	LTLChecker.createDataModel(java.util.List<FormulaParameter> items)

Uses of FormulaParameter in org.processmining.plugins.ltlchecker.parser

Methods in org.processmining.plugins.ltlchecker.parser that return FormulaParameter

Modifier and Type	Method and Description
FormulaParameter	LTLParser.arg(java.util.List<FormulaParameter> localVars)

Methods in org.processmining.plugins.ltlchecker.parser that return types with arguments of type FormulaParameter

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.

Method parameters in org.processmining.plugins.ltlchecker.parser with type arguments of type FormulaParameter

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)

Uses of FormulaParameter in org.processmining.plugins.ltlchecker.util

Constructor parameters in org.processmining.plugins.ltlchecker.util with type arguments of type FormulaParameter

Constructor and Description
ParamData(java.util.List<FormulaParameter> params)