ubc.cs.JLog.Terms
Class jList

java.lang.Object
  ubc.cs.JLog.Foundation.jType
      ubc.cs.JLog.Terms.jTerm
          ubc.cs.JLog.Terms.jList

All Implemented Interfaces:

iType, iUnifiable, iConsultable, iList, iName, iTerm, iValue

Direct Known Subclasses:

jListPair, jNullList

public abstract class jList
extends jTerm
implements iList

Field Summary

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

type

Fields inherited from interface ubc.cs.JLog.Terms.iList

LIST_NULL, LIST_PAIR

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

jList()

Method Summary

abstract Enumeration

elements(iTermToObject conv) Generates a converted enumeration of the list.

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

compare, compare, consult, consultReset, copy, copy, duplicate, enumerateVariables, equivalence, getName, getTerm, getValue, isConsultNeeded, registerUnboundVariables, registerVariables, requiresCompleteVariableState, toString, toString, unify

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.iTerm

compare, consult, consultReset, copy, copy, duplicate, enumerateVariables, equivalence, getName, getTerm, getValue, isConsultNeeded, registerUnboundVariables, registerVariables, requiresCompleteVariableState, toString, unify

Constructor Detail

jList

public jList()

Method Detail

elements

public abstract Enumeration elements(iTermToObject conv)

Generates a converted enumeration of the list.

Parameters:

conv - The iObjectFromTerm conversion object used to convert between Prolog terms and objects.

Returns:

An Enumeration that iterates throught the list, returning converted object for each term element in the list.