org.jpc.engine.embedded.database

Class ClauseDatabase

java.lang.Object

org.jpc.engine.embedded.database.IndexedClauses

org.jpc.engine.embedded.database.ClauseDatabase

public class ClauseDatabase
extends IndexedClauses

Constructor Summary

Constructors

Constructor and Description
ClauseDatabase()
ClauseDatabase(IndexManager indexManager)

Method Summary

Modifier and Type	Method and Description
void	asserta(Term term)
void	assertz(Term term)
boolean	retract(Term term)
void	retractAll(Term term)

Methods inherited from class org.jpc.engine.embedded.database.IndexedClauses

addClause, indexedClausesIterator, reset, retract

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ClauseDatabase

public ClauseDatabase()

ClauseDatabase

public ClauseDatabase(IndexManager indexManager)

Method Detail

asserta

public void asserta(Term term)

assertz

public void assertz(Term term)

retract

public boolean retract(Term term)

retractAll

public void retractAll(Term term)