public class EngineManager extends Object implements Serializable
Modifier and Type | Field and Description |
---|---|
static int |
FALSE |
static int |
HALT |
static int |
TRUE |
static int |
TRUE_CP |
Constructor and Description |
---|
EngineManager() |
public static final int HALT
public static final int FALSE
public static final int TRUE
public static final int TRUE_CP
public SolveInfo solve(Term query)
g
- the term representing the goal to be demonstratedSolveInfo
public SolveInfo solveNext() throws NoMoreSolutionException
NoMoreSolutionException
- if no more solutions are presentSolveInfo
public void solveHalt()
public void solveEnd()