current implementation of Value's hashCode is:
public int hashCode() { return value; }
but this will result in
Value.makeConstant(0).hashCode() equals Value.getNAC().hashCode() and Value.getUndef().hashCode()
and thus a hashCode of CPFact's instance may not changed when a Value changed.
an optional implementation
public int hashCode() { return toString().hashCode(); }
current implementation of Value's hashCode is:
public int hashCode() { return value; }but this will result inValue.makeConstant(0).hashCode()equalsValue.getNAC().hashCode()andValue.getUndef().hashCode()and thus a hashCode of CPFact's instance may not changed when a
Valuechanged.an optional implementation
public int hashCode() { return toString().hashCode(); }