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

Packages that use SetsSet

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

Uses of SetsSet in org.processmining.plugins.ltlchecker

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

Modifier and Type	Field and Description
protected SetsSet	CheckVisualizerGUI.sets Sets with the sets.

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

Constructors in org.processmining.plugins.ltlchecker.util with parameters of type SetsSet

Constructor and Description
TreeBuilder(LTLParser parser, java.lang.String formulaName, SetsSet ss)