1 package org.simantics.graph.matching;
\r
3 import java.util.Comparator;
\r
8 public Stat(int p, int o) {
\r
13 public Stat(Stat stat) {
\r
18 public void map(int[] map) {
\r
26 public String toString() {
\r
30 public String toString(String[] names) {
\r
31 return (p >= 0 ? names[p] : "?") + " " + (o >= 0 ? names[o] : "?");
\r
35 public int hashCode() {
\r
40 public boolean equals(Object obj) {
\r
45 if (getClass() != obj.getClass())
\r
47 Stat other = (Stat) obj;
\r
48 return p==other.p && o==other.o;
\r
53 static final Stat[] NO_STATS = new Stat[0];
\r
55 static final Comparator<Stat> STAT_COMPARATOR = new Comparator<Stat>() {
\r
57 public int compare(Stat o1, Stat o2) {
\r
60 else if(o1.p > o2.p)
\r
62 else if(o1.o < o2.o)
\r
64 else if(o1.o > o2.o)
\r