org.processmining.plugins.ltlchecker.declare2ltl

Class MapsComparatorVisualization

java.lang.Object

org.processmining.plugins.ltlchecker.declare2ltl.MapsComparatorVisualization

public class MapsComparatorVisualization
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MapsComparatorVisualization()

Method Summary

Modifier and Type	Method and Description
javax.swing.JPanel	visualize(org.processmining.framework.plugin.PluginContext context, java.util.Vector<java.lang.String> results)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MapsComparatorVisualization

public MapsComparatorVisualization()

Method Detail

visualize

public javax.swing.JPanel visualize(org.processmining.framework.plugin.PluginContext context,
                                    java.util.Vector<java.lang.String> results)