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.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	FindAll.PreprocessedFindAll

Constructor Summary

Constructors

Constructor	Description
FindAll()

Method Summary

Modifier and Type	Method	Description
private static Term	createListOfAllSolutions(Term template, Predicate predicate)
protected boolean	evaluate(Term template, Term goal, Term output)
private static boolean	evaluateFindAll(PredicateFactory pf, Term template, Term goal, Term output)
private static boolean	hasFoundAnotherSolution(Predicate predicate)
PredicateFactory	preprocess(Term term)

Methods inherited from class AbstractSingleResultPredicate

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

Methods inherited from class Object

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

Methods inherited from interface PredicateFactory

getPredicate, isAlwaysCutOnBacktrack, isRetryable

Constructor Details

FindAll

public FindAll()

Method Details

evaluate

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

Overrides:

evaluate in class AbstractSingleResultPredicate

evaluateFindAll

private static boolean evaluateFindAll(PredicateFactory pf,
 Term template,
 Term goal,
 Term output)

createListOfAllSolutions

private static Term createListOfAllSolutions(Term template,
 Predicate predicate)

hasFoundAnotherSolution

private static boolean hasFoundAnotherSolution(Predicate predicate)

preprocess

public PredicateFactory preprocess(Term term)

Specified by:

preprocess in interface PreprocessablePredicateFactory