ubc.cs.JLog.Builtins
Class jRealUnaryArithmetic

java.lang.Object
  extended by ubc.cs.JLog.Foundation.jType
      extended by ubc.cs.JLog.Terms.jTerm
          extended by ubc.cs.JLog.Terms.iPredicate
              extended by ubc.cs.JLog.Terms.jBuiltinPredicate
                  extended by ubc.cs.JLog.Terms.jUnaryBuiltinPredicate
                      extended by ubc.cs.JLog.Builtins.jUnaryArithmetic
                          extended by ubc.cs.JLog.Builtins.jRealUnaryArithmetic
All Implemented Interfaces:
iArithmetic, iType, iUnifiable, iConsultable, iName, iNameArity, iTerm, iValue
Direct Known Subclasses:
jACos, jASin, jATan, jCeiling, jCos, jExp, jFloor, jLog, jLog10, jLog2, jSin, jSqrt, jTan

public abstract class jRealUnaryArithmetic
extends jUnaryArithmetic

A flexible abstract class for unary arithmetic. Upgrades integers to reals before calling real operator.

Author:
Glendon Holst

Field Summary
 
Fields inherited from class ubc.cs.JLog.Terms.jUnaryBuiltinPredicate
rhs
 
Fields inherited from class ubc.cs.JLog.Foundation.jType
type
 
Fields inherited from interface ubc.cs.JLog.Builtins.iArithmetic
MAX
 
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
jRealUnaryArithmetic(jTerm r)
           
 
Method Summary
 jTerm getValue()
          Return the value of this object after.
 
Methods inherited from class ubc.cs.JLog.Builtins.jUnaryArithmetic
addGoals, addGoals, getPriority, operatorInt, operatorReal, prove, toString
 
Methods inherited from class ubc.cs.JLog.Terms.jUnaryBuiltinPredicate
compareArguments, consult, consultReset, copy, duplicate, duplicate, enumerateVariables, equivalenceArguments, getArguments, getArity, getRHS, isConsultNeeded, prove, registerUnboundVariables, registerVariables, unifyArguments
 
Methods inherited from class ubc.cs.JLog.Terms.jBuiltinPredicate
equivalence, unify
 
Methods inherited from class ubc.cs.JLog.Terms.iPredicate
compare
 
Methods inherited from class ubc.cs.JLog.Terms.jTerm
compare, copy, getName, getTerm, 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
 
Methods inherited from interface ubc.cs.JLog.Terms.iName
getName
 

Constructor Detail

jRealUnaryArithmetic

public jRealUnaryArithmetic(jTerm r)
Method Detail

getValue

public jTerm getValue()
Description copied from interface: iValue
Return the value of this object after.

Specified by:
getValue in interface iTerm
Specified by:
getValue in interface iValue
Overrides:
getValue in class jUnaryArithmetic
Returns:
jTerm which represents the evaluated value of this instance, or the value bound to this instance, in the case of a variable.