boolean equalsByRelations(DfaMemoryStateImpl that) { return getNonTrivialEqClasses().equals(that.getNonTrivialEqClasses()) && getDistinctClassPairs().equals(that.getDistinctClassPairs()); }