Package | Description |
---|---|
alice.tuprolog | |
alice.tuprologx.pj.engine |
Modifier and Type | Method and Description |
---|---|
<Z extends T> |
ISolution.agetVarValue(java.lang.String varName) |
java.util.List<Var> |
SolveInfo.getBindingVars()
Gets the list of the variables in the solution.
|
java.util.List<? extends T> |
ISolution.getBindingVars() |
Term |
SolveInfo.getSolution()
Gets the solution of the request
|
S |
ISolution.getSolution() |
Term |
SolveInfo.getTerm(java.lang.String varName)
Gets the value of a variable in the substitution.
|
<Z extends T> |
ISolution.getTerm(java.lang.String varName) |
Term |
SolveInfo.getVarValue(java.lang.String varName)
Gets the value of a variable in the substitution.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Term<?>> |
PrologSolution.getBindingVars() |
S |
PrologSolution.getSolution() |
<Z extends Term<?>> |
PrologSolution.getTerm(java.lang.String varName) |
<Z extends Term<?>> |
PrologSolution.getVarValue(java.lang.String varName) |