@Override
public final boolean equalTo(Update obj, NodeIsomorphismMap isoMap) {
if (this == obj) return true;
if (getClass() != obj.getClass()) return false;
UpdateData other = (UpdateData) obj;
List<Quad> quads1 = getQuads();
List<Quad> quads2 = other.getQuads();
return Iso.isomorphicQuads(quads1, quads2, isoMap);
}
public boolean equiv(QuadPattern other, NodeIsomorphismMap isoMap) {
if (this.quads.size() != other.quads.size()) return false;
for (int i = 0; i < this.quads.size(); i++) {
Quad q1 = get(i);
Quad q2 = other.get(i);
if (!Iso.quadIso(q1, q2, isoMap)) return false;
}
return true;
}