Package | Description |
---|---|
alice.tuprolog | |
alice.tuprolog.scriptengine | |
alice.tuprologx.pj.model |
Modifier and Type | Method and Description |
---|---|
java.util.List<Var> |
SolveInfo.getBindingVars()
Gets the list of the variables in the solution.
|
java.util.List<Var> |
StateEnd.getResultVars() |
java.util.List<java.util.List<Var>> |
ExecutionContext.getTrailingVars() |
java.util.List<Var> |
ClauseStore.getVarsForMatch() |
java.util.List<java.util.List<Var>> |
ChoicePointContext.getVarsToDeunify() |
Modifier and Type | Method and Description |
---|---|
void |
TermVisitor.visit(Var v) |
Modifier and Type | Method and Description |
---|---|
static ClauseStore |
ClauseStore.build(Term goal,
java.util.List<Var> vars,
java.util.List<ClauseInfo> familyClauses)
Carica una famiglia di clausole
Reviewed by Paolo Contessi:
OneWayList.transform(List) -> OneWayList.transform2(List)
|
Term |
Var.copyAndRetainFreeVar(java.util.AbstractMap<Var,Var> vMap,
int idExecCtx) |
Term |
Var.copyAndRetainFreeVar(java.util.AbstractMap<Var,Var> vMap,
int idExecCtx) |
abstract Term |
Term.copyAndRetainFreeVar(java.util.AbstractMap<Var,Var> vMap,
int idExecCtx) |
abstract Term |
Term.copyAndRetainFreeVar(java.util.AbstractMap<Var,Var> vMap,
int idExecCtx) |
Term |
Struct.copyAndRetainFreeVar(java.util.AbstractMap<Var,Var> vMap,
int idExecCtx) |
Term |
Struct.copyAndRetainFreeVar(java.util.AbstractMap<Var,Var> vMap,
int idExecCtx) |
Term |
Number.copyAndRetainFreeVar(java.util.AbstractMap<Var,Var> vMap,
int idExecCtx) |
Term |
Number.copyAndRetainFreeVar(java.util.AbstractMap<Var,Var> vMap,
int idExecCtx) |
Term |
AbstractSocket.copyAndRetainFreeVar(java.util.AbstractMap<Var,Var> vMap,
int idExecCtx) |
Term |
AbstractSocket.copyAndRetainFreeVar(java.util.AbstractMap<Var,Var> vMap,
int idExecCtx) |
Term |
Term.copyGoal(java.util.AbstractMap<Var,Var> vars,
int idExecCtx)
gets a engine's copy of this term.
|
Term |
Term.copyGoal(java.util.AbstractMap<Var,Var> vars,
int idExecCtx)
gets a engine's copy of this term.
|
Term |
Term.copyResult(java.util.Collection<Var> goalVars,
java.util.List<Var> resultVars)
gets a copy of this term for the output
|
Term |
Term.copyResult(java.util.Collection<Var> goalVars,
java.util.List<Var> resultVars)
gets a copy of this term for the output
|
static void |
Var.free(java.util.List<Var> varsUnified)
De-unify the variables of list
|
Modifier and Type | Field and Description |
---|---|
protected java.util.List<Var> |
PrologScriptEngine.solveVars |
Modifier and Type | Method and Description |
---|---|
Var |
Var.marshal() |