org.projog.core.predicate.builtin.compound

Class BagOf

java.lang.Object

org.projog.core.predicate.AbstractPredicateFactory

org.projog.core.predicate.builtin.compound.BagOf

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory, PreprocessablePredicateFactory

public final class BagOf
extends AbstractPredicateFactory
implements PreprocessablePredicateFactory

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

bagof(X,P,L) produces a list (L) of X for each possible solution of the goal P. If P contains uninstantiated variables, other than X, it is possible that bagof can be successfully evaluated multiple times - for each possible values of the uninstantiated variables. The elements in L will appear in the order they were found and may include duplicates. Fails if P has no solutions.

Constructor Summary

Constructors

Constructor and Description
BagOf()

Method Summary

Modifier and Type	Method and Description
protected Predicate	getPredicate(Term template, Term goal, Term bag)
PredicateFactory	preprocess(Term term)

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

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

getPredicate, isAlwaysCutOnBacktrack, isRetryable

Constructor Detail

BagOf

public BagOf()

Method Detail

getPredicate

protected Predicate getPredicate(Term template,
                                 Term goal,
                                 Term bag)

Overrides:

getPredicate in class AbstractPredicateFactory

preprocess

public PredicateFactory preprocess(Term term)

Specified by:

preprocess in interface PreprocessablePredicateFactory