Exemple #1
0
 boolean equalsByRelations(DfaMemoryStateImpl that) {
   return getNonTrivialEqClasses().equals(that.getNonTrivialEqClasses())
       && getDistinctClassPairs().equals(that.getDistinctClassPairs());
 }