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

Packages that use ParamTable

Package	Description
org.processmining.plugins.ltlchecker

Uses of ParamTable in org.processmining.plugins.ltlchecker

Fields in org.processmining.plugins.ltlchecker declared as ParamTable

Modifier and Type	Field and Description
protected ParamTable	CheckVisualizerGUI.selectParamTable

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

Modifier and Type	Method and Description
protected ParamTable	CheckVisualizerGUI.createParamTable()
protected ParamTable	LTLChecker.createParamTable()