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