Package org.projog.core.predicate.builtin.db

Class Recorded

java.lang.Object

org.projog.core.predicate.AbstractPredicateFactory

org.projog.core.predicate.builtin.db.Recorded

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class Recorded
extends AbstractPredicateFactory

recorded(X,Y,Z) - checks if a term is associated with a key.

recorded(X,Y,Z) succeeds if there exists an association between the key represented by X and the term represented by Y, with the reference represented by Z.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	Recorded.RecordedPredicate

Constructor Summary

Constructors

Constructor	Description
Recorded()

Method Summary

Modifier and Type	Method	Description
private java.util.Iterator<Record>	getIterator(Term key, RecordedDatabase database)
protected Predicate	getPredicate(Term key, Term value)
protected Predicate	getPredicate(Term key, Term value, Term reference)

Methods inherited from class org.projog.core.predicate.AbstractPredicateFactory

getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicate, getPredicate, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.projog.core.predicate.PredicateFactory

isAlwaysCutOnBacktrack

Constructor Detail

Recorded

public Recorded()

Method Detail

getPredicate

protected Predicate getPredicate(Term key,
                                 Term value)

Overrides:

getPredicate in class AbstractPredicateFactory

getPredicate

protected Predicate getPredicate(Term key,
                                 Term value,
                                 Term reference)

Overrides:

getPredicate in class AbstractPredicateFactory

getIterator

private java.util.Iterator<Record> getIterator(Term key,
                                               RecordedDatabase database)