Uses of Class
ubc.cs.JLog.Terms.jBuiltinPredicate

Packages that use jBuiltinPredicate

ubc.cs.JLog.Builtins
ubc.cs.JLog.Terms

Uses of jBuiltinPredicate in ubc.cs.JLog.Builtins

Subclasses of jBuiltinPredicate in ubc.cs.JLog.Builtins

class	jAbs
class	jACos
class	jAdd
class	jAfter
class	jAfterEqual
class	jAppendArray
class	jArg
class	jASin
class	jAssert
class	jAsserta
class	jAssertz
class	jATan
class	jATan2
class	jBefore
class	jBeforeEqual
class	jBitwiseConjunction
class	jBitwiseDisjunction
class	jBitwiseExclusiveDisjunction
class	jBitwiseLeftShift
class	jBitwiseNegation
class	jBitwiseRightShift
class	jCall
class	jCallN A specialized version of jCall that handles cases of arity >= 2.
class	jCeiling
class	jCompare
class	jConvertArray
class	jCopyTerm
class	jCos
class	jCreateArray
class	jCurrentOpList
class	jCut
class	jDynamic
class	jEnumerateVariablesArray
class	jEqual
class	jEquivalence
class	jEquivalent
class	jExists
class	jExp
class	jExpandTerm
class	jFloor
class	jFunctor
class	jGetArrayElement
class	jGreaterThan
class	jGreaterThanEqual
class	jIntegerArithmetic
class	jIntegerDivide
class	jIntegerOnlyArithmetic
class	jIntersectArray
class	jIs
class	jIsAtom
class	jIsAtomic
class	jIsCallable
class	jIsCompound
class	jIsGround
class	jIsInteger
class	jIsList
class	jIsNonVariable
class	jIsNumber
class	jIsReal
class	jIsSimple
class	jIsType
class	jIsVariable
class	jKeysort
class	jLessThan
class	jLessThanEqual
class	jLoadLibrary
class	jLog
class	jLog10
class	jLog2
class	jLogBase
class	jMax
class	jMin
class	jMinus
class	jMod
class	jMultiply
class	jName
class	jNotEqual
class	jNotEquivalence
class	jNotEquivalent
class	jNotUnify
class	jNumericComparison
class	jOp
class	jOperator
class	jPlus
class	jPow
class	jRandom
class	jRead
class	jRealArithmetic
class	jRealDivide
class	jRealUnaryArithmetic A flexible abstract class for unary arithmetic.
class	jRepeat
class	jRetract
class	jRound
class	jSetArrayElement
class	jSin
class	jSort
class	jSqrt
class	jSubtract
class	jSubtractArray
class	jTan
class	jTermToList
class	jTime
class	jTruncate
class	jUnaryArithmetic The abstract class for unary arithmetic operators.
class	jUnaryOperator
class	jUnionArray
class	jWrite

Uses of jBuiltinPredicate in ubc.cs.JLog.Terms

Subclasses of jBuiltinPredicate in ubc.cs.JLog.Terms

class	jBinaryBuiltinPredicate
class	jClause
class	jDCG
class	jFail
class	jNaryBuiltinPredicate
class	jQuadaryBuiltinPredicate
class	jTrinaryBuiltinPredicate
class	jTrue
class	jUnaryBuiltinPredicate
class	jUnify

Methods in ubc.cs.JLog.Terms with parameters of type jBuiltinPredicate

protected boolean	jBuiltinPredicate.equivalenceArguments(jBuiltinPredicate pterm, jEquivalenceMapping v) Equivalence test arguments.
protected boolean	jBinaryBuiltinPredicate.equivalenceArguments(jBuiltinPredicate pterm, jEquivalenceMapping v)
protected boolean	jNaryBuiltinPredicate.equivalenceArguments(jBuiltinPredicate pterm, jEquivalenceMapping v)
protected boolean	jQuadaryBuiltinPredicate.equivalenceArguments(jBuiltinPredicate pterm, jEquivalenceMapping v)
protected boolean	jTrinaryBuiltinPredicate.equivalenceArguments(jBuiltinPredicate pterm, jEquivalenceMapping v)
protected boolean	jUnaryBuiltinPredicate.equivalenceArguments(jBuiltinPredicate pterm, jEquivalenceMapping v)
protected boolean	jBuiltinPredicate.unifyArguments(jBuiltinPredicate pterm, jUnifiedVector v) Unification of arguments.
protected boolean	jBinaryBuiltinPredicate.unifyArguments(jBuiltinPredicate pterm, jUnifiedVector v)
protected boolean	jNaryBuiltinPredicate.unifyArguments(jBuiltinPredicate pterm, jUnifiedVector v)
protected boolean	jQuadaryBuiltinPredicate.unifyArguments(jBuiltinPredicate pterm, jUnifiedVector v)
protected boolean	jTrinaryBuiltinPredicate.unifyArguments(jBuiltinPredicate pterm, jUnifiedVector v)
protected boolean	jUnaryBuiltinPredicate.unifyArguments(jBuiltinPredicate pterm, jUnifiedVector v)