public class NullAbstractionNoCopy extends java.lang.Object implements StateAbstraction
| Constructor and Description |
|---|
NullAbstractionNoCopy() |
| Modifier and Type | Method and Description |
|---|---|
State |
abstraction(State s)
Returns an abstracted version of state s.
|
public State abstraction(State s)
StateAbstractionabstraction in interface StateAbstractions - the input state to abstract