|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectubc.cs.JLog.Foundation.jRule
ubc.cs.JLog.Terms.jBuiltinRule
public class jBuiltinRule
This class is a type stub that permits differentiating between user and builtin rules.
Field Summary |
---|
Fields inherited from class ubc.cs.JLog.Foundation.jRule |
---|
all_variables, base, head, variables |
Constructor Summary | |
---|---|
jBuiltinRule(jPredicate h,
jPredicateTerms b)
|
Method Summary |
---|
Methods inherited from class ubc.cs.JLog.Foundation.jRule |
---|
consult, consultReset, enumBase, getArity, getBase, getHead, getName, getUnifiedBase, isConsultNeeded, toString, unify |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public jBuiltinRule(jPredicate h, jPredicateTerms b)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |