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