org.projog.core.predicate.builtin.compound

Class FindAll

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.compound.FindAll

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory, PreprocessablePredicateFactory

public final class FindAll
extends AbstractSingleResultPredicate
implements PreprocessablePredicateFactory

findall(X,P,L) - find all solutions that satisfy the goal.

findall(X,P,L) produces a list (L) of X for each possible solution of the goal P. Succeeds with L unified to an empty list if P has no solutions.

Constructor Summary

Constructors

Constructor and Description
FindAll()

Method Summary

Modifier and Type	Method and Description
protected boolean	evaluate(Term template, Term goal, Term output)
PredicateFactory	preprocess(Term term)

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

evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, 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

getPredicate, isAlwaysCutOnBacktrack, isRetryable

Constructor Detail

FindAll

public FindAll()

Method Detail

evaluate

protected boolean evaluate(Term template,
                           Term goal,
                           Term output)

Overrides:

evaluate in class AbstractSingleResultPredicate

preprocess

public PredicateFactory preprocess(Term term)

Specified by:

preprocess in interface PreprocessablePredicateFactory