Uses of Class
org.jpc.engine.embedded.Clause

Packages that use Clause

Package	Description
org.jpc.engine.embedded
org.jpc.engine.embedded.database

Uses of Clause in org.jpc.engine.embedded

Subclasses of Clause in org.jpc.engine.embedded

Modifier and Type	Class and Description
class	Rule A rule in the embedded JPC engine.

Methods in org.jpc.engine.embedded with parameters of type Clause

Modifier and Type	Method and Description
int	Clause.compareTo(Clause clause)

Uses of Clause in org.jpc.engine.embedded.database

Methods in org.jpc.engine.embedded.database that return Clause

Modifier and Type	Method and Description
protected Clause	IndexedClauseIterator.computeNext()

Methods in org.jpc.engine.embedded.database that return types with arguments of type Clause

Modifier and Type	Method and Description
Set<Clause>	Index.getNonIndexedClauses()
Iterator<Clause>	IndexedClauses.indexedClausesIterator(Term head) This method answers an iterator of clauses which heads "may" unify with the parameter according to the existing indexes applicable to it.

Methods in org.jpc.engine.embedded.database with parameters of type Clause

Modifier and Type	Method and Description
protected void	IndexedClauses.addClause(Clause clause)
void	Index.addClause(Clause clause)
void	IndexedClauses.retract(Clause clause)
void	Index.retract(Clause clause)