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