public abstract class WrappedHashableState extends java.lang.Object implements HashableState
| Constructor and Description |
|---|
WrappedHashableState() |
WrappedHashableState(State s) |
| Modifier and Type | Method and Description |
|---|---|
abstract boolean |
equals(java.lang.Object obj) |
State |
getS()
Getter for Java Bean serialization purposes.
|
abstract int |
hashCode() |
State |
s()
Returns the underlying source state that is hashed.
|
void |
setS(State s)
Setter for Java Bean serialization purposes.
|
protected State s
public WrappedHashableState()
public WrappedHashableState(State s)
public State s()
HashableStates in interface HashableStateState that this object hashes and evaluates.public abstract int hashCode()
hashCode in class java.lang.Objectpublic abstract boolean equals(java.lang.Object obj)
equals in class java.lang.Object