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