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

Constructor Index

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

Method Index

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

Constructors

 o SubTermEnum
 public SubTermEnum(Vector terms)
This constructor takes a Vector of Terms to enumerate. The first Term will be ignored.

Methods

 o hasMoreElements
 public boolean hasMoreElements()
This function tests whether there are more sub-Terms.

Returns:
whether there are more sub-Terms
 o 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