ubc.cs.JLog.Terms
Class jOr

java.lang.Object
  ubc.cs.JLog.Foundation.jType
      ubc.cs.JLog.Terms.jTerm
          ubc.cs.JLog.Terms.jConjunctTerm
              ubc.cs.JLog.Terms.jOr

All Implemented Interfaces:

iType, iUnifiable, iConsultable, iName, iTerm, iValue

public class jOr
extends jConjunctTerm

Field Summary

Fields inherited from class ubc.cs.JLog.Terms.jConjunctTerm

lhs, rhs

Fields inherited from class ubc.cs.JLog.Foundation.jType

type

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

jOr(jTerm l, jTerm r)

Method Summary

jConjunctTerm	duplicate(jTerm l, jTerm r)
String	getName() Returns the name of this instance.
String	toString(boolean usename) Produces a string identifying this term, suitable for display to the console.

Methods inherited from class ubc.cs.JLog.Terms.jConjunctTerm

compare, consult, consultReset, copy, duplicate, enumerateVariables, equivalence, getLHS, getRHS, registerUnboundVariables, registerVariables, requiresCompleteVariableState, setLHS, setRHS, unify

Methods inherited from class ubc.cs.JLog.Terms.jTerm

compare, copy, getTerm, getValue, isConsultNeeded, 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

jOr

public jOr(jTerm l,
           jTerm r)

Method Detail

getName

public String getName()

Description copied from interface: iName

Returns the name of this instance.

Specified by:

getName in interface iName

Specified by:

getName in interface iTerm

Overrides:

getName in class jTerm

Returns:

String containing name of this instance.

duplicate

public jConjunctTerm duplicate(jTerm l,
                               jTerm r)

Specified by:

duplicate in class jConjunctTerm

toString

public String toString(boolean usename)

Description copied from class: jTerm

Produces a string identifying this term, suitable for display to the console. param usename determines whether to display variables by name or identity. false is the default for displaying the term, true for displaying this term in a user query.

Specified by:

toString in interface iTerm

Specified by:

toString in class jTerm

Returns:

String which is a textual representation of this term.