public class NullTermination extends java.lang.Object implements TerminalFunction
| Constructor and Description |
|---|
NullTermination() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
isTerminal(State s) |
public boolean isTerminal(State s)
isTerminal in interface TerminalFunction