Package | Description |
---|---|
org.processmining.plugins.ltlchecker |
Modifier and Type | Method and Description |
---|---|
protected void |
CheckVisualizerGUI.init(org.deckfour.xes.model.XLog logreader,
LTLParser parser,
LTLChecker checker) |
Constructor and Description |
---|
CheckVisualizerGUI(org.deckfour.xes.model.XLog logreader,
LTLParser parser,
LTLChecker checker) |