org.processmining.plugins.ltlchecker.visualizing
Classes
LTLCheckerVisualization
LTLViewerConnection