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