public class NodeComparator
extends java.lang.Object
implements java.util.Comparator<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>
Constructor and Description |
---|
NodeComparator() |
Modifier and Type | Method and Description |
---|---|
int |
compare(org.processmining.models.graphbased.directed.petrinet.PetrinetNode o1,
org.processmining.models.graphbased.directed.petrinet.PetrinetNode o2) |
public int compare(org.processmining.models.graphbased.directed.petrinet.PetrinetNode o1, org.processmining.models.graphbased.directed.petrinet.PetrinetNode o2)
compare
in interface java.util.Comparator<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>