ubc.cs.JLog.Terms
Interface iValue

All Known Subinterfaces:

iList, iTerm

All Known Implementing Classes:

iPredicate, jAbs, jACos, jAdd, jAfter, jAfterEqual, jAppendArray, jArg, jASin, jAssert, jAsserta, jAssertz, jATan, jATan2, jAtom, jBefore, jBeforeEqual, jBinaryBuiltinPredicate, jBitwiseConjunction, jBitwiseDisjunction, jBitwiseExclusiveDisjunction, jBitwiseLeftShift, jBitwiseNegation, jBitwiseRightShift, jBuiltinPredicate, jCall, jCallN, jCeiling, jClause, jCommand, jCompare, jCompoundTerm, jConjunctTerm, jCons, jConvertArray, jCopyTerm, jCos, jCreateArray, jCurrentOpList, jCut, jDCG, jDynamic, jEnumerateVariablesArray, jEqual, jEquivalence, jEquivalent, jExists, jExp, jExpandTerm, jFail, jFloor, jFunctor, jGetArrayElement, jGreaterThan, jGreaterThanEqual, jIf, jInteger, jIntegerArithmetic, jIntegerDivide, jIntegerOnlyArithmetic, jIntersectArray, jIs, jIsAtom, jIsAtomic, jIsCallable, jIsCompound, jIsGround, jIsInteger, jIsList, jIsNonVariable, jIsNumber, jIsReal, jIsSimple, jIsType, jIsVariable, jKeysort, jLessThan, jLessThanEqual, jList, jListPair, jLoadLibrary, jLog, jLog10, jLog2, jLogBase, jMax, jMin, jMinus, jMod, jMultiply, jName, jNaryBuiltinPredicate, jNotEqual, jNotEquivalence, jNotEquivalent, jNotUnify, jNullList, jNumericComparison, jObject, jOp, jOperator, jOr, jOrPredicate, jPlus, jPow, jPredicate, jPredicateTerms, jQuadaryBuiltinPredicate, jRandom, jRead, jReal, jRealArithmetic, jRealDivide, jRealUnaryArithmetic, jRepeat, jRetract, jRound, jSetArrayElement, jSin, jSort, jSqrt, jSubtract, jSubtractArray, jTan, jTerm, jTermToList, jTime, jTrinaryBuiltinPredicate, jTrue, jTruncate, jUnaryArithmetic, jUnaryBuiltinPredicate, jUnaryOperator, jUnify, jUnionArray, jVariable, jWrite

public interface iValue

This interface defines classes that return their evaluated values as a jTerm. In many cases, instances with this interface will return themselves (if they are a jTerm), while operators would return their evaluated values, while variables would return the evaluated value of the term they are bound to.

Version:

%I%, %G%

Author:

Glendon Holst

Method Summary

jTerm

getValue() Return the value of this object after.

Method Detail

getValue

jTerm getValue()

Return the value of this object after.

Returns:

jTerm which represents the evaluated value of this instance, or the value bound to this instance, in the case of a variable.