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