    All Packages  Class Hierarchy  This Package  Previous  Next  Index

# Class JavaAgent.resource.fopl.SubTermEnum

    java.lang.Object
       |
       +----JavaAgent.resource.fopl.SubTermEnum

public class SubTermEnum
extends Object
implements Enumeration

This class is an Enumerator for sub-Terms in a Vector of Terms. The first element of the Vector as this is usually the function or predicate Term. The Enumerator gets all arguments in sequence. However, if a Term thus enumerated is a FunctTerm then all of its sub-Terms will be enumerated before the next argument but after the FunctTerm itself.

See Also:
  Literal, FunctTerm

##

SubTermEnum(Vector)
  This constructor takes a Vector of Terms to enumerate.

##

hasMoreElements()
  This function tests whether there are more sub-Terms.
nextElement()
  This function returns the next sub-Term in this Enumeration.

##

SubTermEnum

     public SubTermEnum(Vector terms)

  This constructor takes a Vector of Terms to enumerate. The first Term will be ignored.

##

hasMoreElements

     public boolean hasMoreElements()

  This function tests whether there are more sub-Terms.

  Returns:
    whether there are more sub-Terms

nextElement

     public Object nextElement()

  This function returns the next sub-Term in this Enumeration.

  Returns:
    next sub-Term

    All Packages  Class Hierarchy  This Package  Previous  Next  Index