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