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

Constructor Index

 o JIPClausesEnumeration(JIPClausesDatabase)
Constucts a clauses enumeration

Method Index

 o getArity()
Get the arity of the related functor
 o getFunctorName()
Get the name of the related functor
 o hasMoreElements()
 o nextClause()
Get next clause in the enumeration of clauses
 o nextElement()
Get the next element of the enumeration.

Constructors

 o JIPClausesEnumeration
 public JIPClausesEnumeration(JIPClausesDatabase db)
Constucts a clauses enumeration

Methods

 o nextElement
 public final Object nextElement()
Get the next element of the enumeration. It is not allow to override this method

 o getFunctorName
 public final String getFunctorName()
Get the name of the related functor

 o getArity
 public final int getArity()
Get the arity of the related functor

 o nextClause
 public abstract JIPClause nextClause()
Get next clause in the enumeration of clauses


All Packages  Class Hierarchy  This Package  Previous  Next  Index