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