Uses of Class
org.processmining.plugins.ltlchecker.util.ParamData

Packages that use ParamData

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

Uses of ParamData in org.processmining.plugins.ltlchecker

Methods in org.processmining.plugins.ltlchecker that return ParamData

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 ParamData in org.processmining.plugins.ltlchecker.util

Fields in org.processmining.plugins.ltlchecker.util declared as ParamData

Modifier and Type	Field and Description
protected ParamData	ParamTable.data

Methods in org.processmining.plugins.ltlchecker.util with parameters of type ParamData

Modifier and Type	Method and Description
void	ParamTable.setModel(ParamData data)