public class NameDependentStateHashFactory.NameDependentStateHashTuple extends StateHashTuple
hashCode, needToRecomputeHashCode, s
Constructor and Description |
---|
NameDependentStateHashFactory.NameDependentStateHashTuple(State s) |
Modifier and Type | Method and Description |
---|---|
void |
computeHashCode()
This method computes the hashCode for this object and saves it to the
hashCode field beloning to the abstract class. |
boolean |
equals(java.lang.Object other) |
hashCode
public NameDependentStateHashFactory.NameDependentStateHashTuple(State s)
public void computeHashCode()
StateHashTuple
hashCode
field beloning to the abstract class.computeHashCode
in class StateHashTuple
public boolean equals(java.lang.Object other)
equals
in class StateHashTuple