All Packages Class Hierarchy This Package Previous Next Index
Class JIP.engine.JIPClausesEnumeration
java.lang.Object
|
+----JIP.engine.JIPClausesEnumeration
- public abstract class JIPClausesEnumeration
- extends Object
- implements Enumeration
JIPClausesEnumeration is an enumeration of clauses contained in a database
- Version:
- 4.x.x
Home Page : http:\\www.geocities.com\jiprolog
- Author:
- Ugo Chirico 2000
- See Also:
- JIPClausesDatabase
-
JIPClausesEnumeration(JIPClausesDatabase)
- Constucts a clauses enumeration
-
getArity()
- Get the arity of the related functor
-
getFunctorName()
- Get the name of the related functor
-
hasMoreElements()
-
-
nextClause()
- Get next clause in the enumeration of clauses
-
nextElement()
- Get the next element of the enumeration.
JIPClausesEnumeration
public JIPClausesEnumeration(JIPClausesDatabase db)
- Constucts a clauses enumeration
nextElement
public final Object nextElement()
- Get the next element of the enumeration. It is not allow to override this method
getFunctorName
public final String getFunctorName()
- Get the name of the related functor
getArity
public final int getArity()
- Get the arity of the related functor
nextClause
public abstract JIPClause nextClause()
- Get next clause in the enumeration of clauses
All Packages Class Hierarchy This Package Previous Next Index