|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectubc.cs.JLog.Foundation.jType
ubc.cs.JLog.Terms.jTerm
ubc.cs.JLog.Terms.iPredicate
ubc.cs.JLog.Terms.jBuiltinPredicate
ubc.cs.JLog.Terms.jUnaryBuiltinPredicate
ubc.cs.JLog.Builtins.jUnaryArithmetic
ubc.cs.JLog.Builtins.jRealUnaryArithmetic
public abstract class jRealUnaryArithmetic
A flexible abstract class for unary arithmetic. Upgrades integers to reals before calling real operator.
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 |
---|
public jRealUnaryArithmetic(jTerm r)
Method Detail |
---|
public jTerm getValue()
iValue
getValue
in interface iTerm
getValue
in interface iValue
getValue
in class jUnaryArithmetic
jTerm
which represents the evaluated value of this
instance, or the value bound to this instance, in the case of a
variable.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |