|
|||||||||
| Home >> All >> alice >> [ tuprolog overview ] | PREV NEXT | ||||||||
Uses of Class
alice.tuprolog.RTContext
| Uses of RTContext in alice.tuprolog |
| Fields in alice.tuprolog declared as RTContext | |
private RTContext |
PrologVM.currentContext
runtime context of the demo |
RTContext |
GoalInfo.context
runtime context of the demo |
| Methods in alice.tuprolog that return RTContext | |
RTContext |
PrologVM.getContext()
|
| Methods in alice.tuprolog with parameters of type RTContext | |
void |
PrologVM.init(RTContext e,
Term g,
int l,
int t,
int m)
|
private int |
PrologVM.stepE(RTContext e)
|
private int |
PrologVM.stepB(RTContext e)
backtracking |
int |
PrologVM.eval(RTContext e)
|
private int |
PrologVM.backTracking(RTContext e)
|
protected int |
PrologVM.builtin(RTContext e)
|
|
|||||||||
| Home >> All >> alice >> [ tuprolog overview ] | PREV NEXT | ||||||||