private DfaMemoryStateImpl createClosureState(DfaMemoryState memState) {
DfaMemoryStateImpl copy = (DfaMemoryStateImpl) memState.createCopy();
copy.flushFields(getFields());
Set<DfaVariableValue> vars = new HashSet<DfaVariableValue>(copy.getVariableStates().keySet());
for (DfaVariableValue value : vars) {
copy.flushDependencies(value);
}
return copy;
}
boolean equalsByRelations(DfaMemoryStateImpl that) {
return getNonTrivialEqClasses().equals(that.getNonTrivialEqClasses())
&& getDistinctClassPairs().equals(that.getDistinctClassPairs());
}