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