public interface Console
Modifier and Type | Method and Description |
---|---|
void |
acceptSolution() |
void |
enableTheoryCommands(boolean flag) |
java.lang.String |
getGoal() |
void |
getNextSolution() |
boolean |
hasOpenAlternatives() |
void |
stopEngine() |