org.processmining.plugins.declare2ltl

Class MapsComparator

java.lang.Object

org.processmining.plugins.declare2ltl.MapsComparator

public class MapsComparator
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MapsComparator()

Method Summary

Modifier and Type	Method and Description
java.util.Vector<java.lang.String>	analyse(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.plugins.declareminer.visualizing.DeclareMap model1, org.processmining.plugins.declareminer.visualizing.DeclareMap model2)

Methods inherited from class java.lang.Object

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

Constructor Detail

MapsComparator

public MapsComparator()

Method Detail

analyse

public java.util.Vector<java.lang.String> analyse(org.processmining.contexts.uitopia.UIPluginContext context,
                                                  org.processmining.plugins.declareminer.visualizing.DeclareMap model1,
                                                  org.processmining.plugins.declareminer.visualizing.DeclareMap model2)