Overview
Package
Class
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes
Hierarchy For Package ubc.cs.JLog.Builtins
Package Hierarchies:
All Packages
Class Hierarchy
java.lang.Object
ubc.cs.JLog.Terms.
jPredefined
ubc.cs.JLog.Builtins.
jPredefinedBuiltins
ubc.cs.JLog.Foundation.
jType
(implements ubc.cs.JLog.Foundation.
iType
)
ubc.cs.JLog.Terms.
jTerm
(implements ubc.cs.JLog.Terms.
iTerm
)
ubc.cs.JLog.Terms.
iPredicate
(implements ubc.cs.JLog.Terms.
iNameArity
)
ubc.cs.JLog.Terms.
jBuiltinPredicate
ubc.cs.JLog.Terms.
jBinaryBuiltinPredicate
ubc.cs.JLog.Builtins.
jAdd
ubc.cs.JLog.Builtins.
jAppendArray
ubc.cs.JLog.Builtins.
jCopyTerm
ubc.cs.JLog.Builtins.
jCreateArray
ubc.cs.JLog.Builtins.
jEnumerateVariablesArray
ubc.cs.JLog.Builtins.
jEquivalence
ubc.cs.JLog.Builtins.
jNotEquivalence
ubc.cs.JLog.Builtins.
jEquivalent
ubc.cs.JLog.Builtins.
jNotEquivalent
ubc.cs.JLog.Builtins.
jExists
ubc.cs.JLog.Builtins.
jIntegerArithmetic
ubc.cs.JLog.Builtins.
jIntegerDivide
ubc.cs.JLog.Builtins.
jMod
ubc.cs.JLog.Builtins.
jIntegerOnlyArithmetic
ubc.cs.JLog.Builtins.
jBitwiseConjunction
ubc.cs.JLog.Builtins.
jBitwiseDisjunction
ubc.cs.JLog.Builtins.
jBitwiseExclusiveDisjunction
ubc.cs.JLog.Builtins.
jBitwiseLeftShift
ubc.cs.JLog.Builtins.
jBitwiseRightShift
ubc.cs.JLog.Builtins.
jIs
ubc.cs.JLog.Builtins.
jMax
ubc.cs.JLog.Builtins.
jMin
ubc.cs.JLog.Builtins.
jMultiply
ubc.cs.JLog.Builtins.
jName
ubc.cs.JLog.Builtins.
jOperator
ubc.cs.JLog.Builtins.
jAfter
ubc.cs.JLog.Builtins.
jAfterEqual
ubc.cs.JLog.Builtins.
jBefore
ubc.cs.JLog.Builtins.
jBeforeEqual
ubc.cs.JLog.Builtins.
jNumericComparison
ubc.cs.JLog.Builtins.
jEqual
ubc.cs.JLog.Builtins.
jGreaterThan
ubc.cs.JLog.Builtins.
jGreaterThanEqual
ubc.cs.JLog.Builtins.
jLessThan
ubc.cs.JLog.Builtins.
jLessThanEqual
ubc.cs.JLog.Builtins.
jNotEqual
ubc.cs.JLog.Builtins.
jRealArithmetic
ubc.cs.JLog.Builtins.
jATan2
ubc.cs.JLog.Builtins.
jLogBase
ubc.cs.JLog.Builtins.
jPow
ubc.cs.JLog.Builtins.
jRealDivide
ubc.cs.JLog.Builtins.
jSort
ubc.cs.JLog.Builtins.
jKeysort
ubc.cs.JLog.Builtins.
jSubtract
ubc.cs.JLog.Builtins.
jTermToList
ubc.cs.JLog.Terms.
jUnify
ubc.cs.JLog.Builtins.
jNotUnify
ubc.cs.JLog.Builtins.
jCut
ubc.cs.JLog.Terms.
jQuadaryBuiltinPredicate
ubc.cs.JLog.Builtins.
jExpandTerm
ubc.cs.JLog.Builtins.
jRepeat
ubc.cs.JLog.Terms.
jTrinaryBuiltinPredicate
ubc.cs.JLog.Builtins.
jArg
ubc.cs.JLog.Builtins.
jCompare
ubc.cs.JLog.Builtins.
jConvertArray
ubc.cs.JLog.Builtins.
jFunctor
ubc.cs.JLog.Builtins.
jGetArrayElement
ubc.cs.JLog.Builtins.
jIntersectArray
ubc.cs.JLog.Builtins.
jOp
ubc.cs.JLog.Builtins.
jSetArrayElement
ubc.cs.JLog.Builtins.
jSubtractArray
ubc.cs.JLog.Builtins.
jUnionArray
ubc.cs.JLog.Terms.
jUnaryBuiltinPredicate
ubc.cs.JLog.Builtins.
jAssert
ubc.cs.JLog.Builtins.
jAsserta
ubc.cs.JLog.Builtins.
jAssertz
ubc.cs.JLog.Builtins.
jCall
ubc.cs.JLog.Builtins.
jCallN
ubc.cs.JLog.Builtins.
jCurrentOpList
ubc.cs.JLog.Builtins.
jRead
ubc.cs.JLog.Builtins.
jRetract
ubc.cs.JLog.Builtins.
jTime
ubc.cs.JLog.Builtins.
jUnaryArithmetic
(implements ubc.cs.JLog.Builtins.
iArithmetic
)
ubc.cs.JLog.Builtins.
jAbs
ubc.cs.JLog.Builtins.
jBitwiseNegation
ubc.cs.JLog.Builtins.
jIsInteger
ubc.cs.JLog.Builtins.
jIsReal
ubc.cs.JLog.Builtins.
jMinus
ubc.cs.JLog.Builtins.
jPlus
ubc.cs.JLog.Builtins.
jRandom
ubc.cs.JLog.Builtins.
jRealUnaryArithmetic
ubc.cs.JLog.Builtins.
jACos
ubc.cs.JLog.Builtins.
jASin
ubc.cs.JLog.Builtins.
jATan
ubc.cs.JLog.Builtins.
jCeiling
ubc.cs.JLog.Builtins.
jCos
ubc.cs.JLog.Builtins.
jExp
ubc.cs.JLog.Builtins.
jFloor
ubc.cs.JLog.Builtins.
jLog
ubc.cs.JLog.Builtins.
jLog10
ubc.cs.JLog.Builtins.
jLog2
ubc.cs.JLog.Builtins.
jSin
ubc.cs.JLog.Builtins.
jSqrt
ubc.cs.JLog.Builtins.
jTan
ubc.cs.JLog.Builtins.
jRound
ubc.cs.JLog.Builtins.
jTruncate
ubc.cs.JLog.Builtins.
jUnaryOperator
ubc.cs.JLog.Builtins.
jDynamic
ubc.cs.JLog.Builtins.
jIsType
ubc.cs.JLog.Builtins.
jIsAtom
ubc.cs.JLog.Builtins.
jIsAtomic
ubc.cs.JLog.Builtins.
jIsCallable
ubc.cs.JLog.Builtins.
jIsCompound
ubc.cs.JLog.Builtins.
jIsGround
ubc.cs.JLog.Builtins.
jIsList
ubc.cs.JLog.Builtins.
jIsNonVariable
ubc.cs.JLog.Builtins.
jIsNumber
ubc.cs.JLog.Builtins.
jIsSimple
ubc.cs.JLog.Builtins.
jIsVariable
ubc.cs.JLog.Builtins.
jLoadLibrary
ubc.cs.JLog.Builtins.
jWrite
java.lang.Throwable (implements java.io.Serializable)
java.lang.Exception
java.lang.RuntimeException
ubc.cs.JLog.Builtins.
ExpectedCompoundTermException
ubc.cs.JLog.Builtins.
InvalidArgArgumentException
ubc.cs.JLog.Builtins.
InvalidArithmeticOperationException
ubc.cs.JLog.Builtins.
InvalidAssertException
ubc.cs.JLog.Builtins.
InvalidCalleeTypeException
ubc.cs.JLog.Builtins.
InvalidExpressionTypeException
ubc.cs.JLog.Builtins.
InvalidFunctorArgumentException
ubc.cs.JLog.Builtins.
InvalidKeysortKeyValueException
ubc.cs.JLog.Builtins.
InvalidNameArgumentException
ubc.cs.JLog.Builtins.
InvalidOpArgumentException
ubc.cs.JLog.Builtins.
InvalidRetractException
ubc.cs.JLog.Builtins.
InvalidSortSourceListException
ubc.cs.JLog.Builtins.
InvalidTermToListArgumentException
ubc.cs.JLog.Builtins.
MissingInputServicesException
Interface Hierarchy
ubc.cs.JLog.Builtins.
iArithmetic
Overview
Package
Class
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes