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