Uses of Class
org.processmining.plugins.ltlchecker.LTLChecker

Packages that use LTLChecker

Package	Description
org.processmining.plugins.ltlchecker

Uses of LTLChecker in org.processmining.plugins.ltlchecker

Methods in org.processmining.plugins.ltlchecker with parameters of type LTLChecker

Modifier and Type	Method and Description
protected void	CheckVisualizerGUI.init(org.deckfour.xes.model.XLog logreader, LTLParser parser, LTLChecker checker)

Constructors in org.processmining.plugins.ltlchecker with parameters of type LTLChecker

Constructor and Description
CheckVisualizerGUI(org.deckfour.xes.model.XLog logreader, LTLParser parser, LTLChecker checker)