|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectubc.cs.JLog.Foundation.jType
ubc.cs.JLog.Terms.jTerm
ubc.cs.JLog.Terms.iPredicate
ubc.cs.JLog.Terms.jBuiltinPredicate
ubc.cs.JLog.Builtins.jCut
public class jCut
Field Summary |
---|
Fields inherited from class ubc.cs.JLog.Foundation.jType |
---|
type |
Fields inherited from interface ubc.cs.JLog.Terms.iTerm |
---|
EQUAL, GREATER_THAN, LESS_THAN |
Fields inherited from interface ubc.cs.JLog.Foundation.iType |
---|
TYPE_ARITHMETIC, TYPE_ATOM, TYPE_BUILTINPREDICATE, TYPE_COMMAND, TYPE_COMPARE, TYPE_COMPOUND, TYPE_CONS, TYPE_IF, TYPE_INTEGER, TYPE_LIST, TYPE_NULLLIST, TYPE_NUMERICCOMPARE, TYPE_OBJECT, TYPE_OPERATOR, TYPE_OR, TYPE_ORPREDICATE, TYPE_PREDICATE, TYPE_PREDICATETERMS, TYPE_REAL, TYPE_TYPE, TYPE_UNARYARITHMETIC, TYPE_UNARYOPERATOR, TYPE_UNDEFINED, TYPE_VARIABLE |
Constructor Summary | |
---|---|
jCut()
|
Method Summary | |
---|---|
void |
addGoals(jGoal g,
iGoalStack goals)
Adds goal to prove this predicate onto goal stack. |
void |
addGoals(jGoal g,
jVariable[] vars,
iGoalStack goals)
Adds goal to prove this predicate onto goal stack. |
int |
getArity()
Returns the arity of this instance. |
java.lang.String |
getName()
Returns the name of this instance. |
boolean |
requiresCompleteVariableState()
Call to determine if enclosing rule should record all variable states. |
Methods inherited from class ubc.cs.JLog.Terms.jBuiltinPredicate |
---|
compareArguments, copy, duplicate, enumerateVariables, equivalence, equivalenceArguments, isConsultNeeded, registerVariables, toString, unify, unifyArguments |
Methods inherited from class ubc.cs.JLog.Terms.iPredicate |
---|
compare, getArguments |
Methods inherited from class ubc.cs.JLog.Terms.jTerm |
---|
compare, consult, consultReset, copy, getTerm, getValue, registerUnboundVariables, toString |
Methods inherited from class ubc.cs.JLog.Foundation.jType |
---|
getType, objectToString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public jCut()
Method Detail |
---|
public java.lang.String getName()
iName
getName
in interface iName
getName
in interface iTerm
getName
in class jTerm
String
containing name of this instance.public int getArity()
iNameArity
getArity
in interface iNameArity
getArity
in class jBuiltinPredicate
int
whose value is the arity of this instance.public boolean requiresCompleteVariableState()
jTerm
cut
, which jump back to the
containing rules goal require that all variables are restored.
requiresCompleteVariableState
in interface iTerm
requiresCompleteVariableState
in class jTerm
true
if all variable bindings must be recorded by
the rule containing this term. false
otherwise.
Normally returns false
public void addGoals(jGoal g, jVariable[] vars, iGoalStack goals)
iPredicate
addGoals
in class iPredicate
g
- The super-goal jGoal
for the sub-goal that this
function will add.vars
- The vector of duplicate variables produced
from the previous call to registerVariables
.
Needed for call to duplicate
.goals
- The iGoalStack
to add the goal to.public void addGoals(jGoal g, iGoalStack goals)
iPredicate
addGoals
in class iPredicate
g
- The super-goal jGoal
for the sub-goal that this
function will add.goals
- The iGoalStack
to add the goal to.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |