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) |
hashCodepublic NameDependentStateHashFactory.NameDependentStateHashTuple(State s)
public void computeHashCode()
StateHashTuplehashCode field beloning to the abstract class.computeHashCode in class StateHashTuplepublic boolean equals(java.lang.Object other)
equals in class StateHashTuple