|
|||||||||
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.jMinus
public class jMinus
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 | |
---|---|
jMinus(jTerm r)
|
Method Summary | |
---|---|
protected jUnaryBuiltinPredicate |
duplicate(jTerm r)
|
java.lang.String |
getName()
Returns the name of this instance. |
int |
getPriority()
Return priority value 0..MAX for operator precedence. |
protected int |
operatorInt(int r)
Perform the integer operations specified by this instance on the given integer, and returns the integer result. |
protected float |
operatorReal(float r)
Perform the float operations specified by this instance on the given float, and returns the float result. |
java.lang.String |
toString(boolean usename)
Produces a string identifying this term, suitable for display to the console. |
Methods inherited from class ubc.cs.JLog.Builtins.jUnaryArithmetic |
---|
addGoals, addGoals, getValue, prove |
Methods inherited from class ubc.cs.JLog.Terms.jUnaryBuiltinPredicate |
---|
compareArguments, consult, consultReset, copy, 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, 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 |
Constructor Detail |
---|
public jMinus(jTerm r)
Method Detail |
---|
public java.lang.String getName()
iName
getName
in interface iName
getName
in interface iTerm
getName
in class jTerm
String
containing name of this instance.protected jUnaryBuiltinPredicate duplicate(jTerm r)
duplicate
in class jUnaryBuiltinPredicate
protected int operatorInt(int r)
jUnaryArithmetic
operatorInt
in class jUnaryArithmetic
r
- The operand.
r
where op is specified by this instance.protected float operatorReal(float r)
jUnaryArithmetic
operatorReal
in class jUnaryArithmetic
r
- The operand.
r
where op is specified by this instance.public java.lang.String toString(boolean usename)
jTerm
false
is the default for displaying the term,
true
for displaying this term in a user query.
toString
in interface iTerm
toString
in class jUnaryArithmetic
String
which is a textual representation of this
term.public int getPriority()
iArithmetic
getPriority
in interface iArithmetic
getPriority
in class jUnaryArithmetic
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |