|
|||||||||
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.Extras.DataBase.jDBDisconnect
public class jDBDisconnect
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 | |
---|---|
jDBDisconnect()
|
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. |
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, requiresCompleteVariableState, 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 jDBDisconnect()
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 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 |