Class SetOf

java.lang.Object

org.projog.core.predicate.AbstractPredicateFactory

org.projog.core.predicate.builtin.compound.SetOf

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory, PreprocessablePredicateFactory

public final class SetOf
extends AbstractPredicateFactory
implements PreprocessablePredicateFactory

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

setof(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 setof can be successfully evaluated multiple times - for each possible values of the uninstantiated variables. The elements in L will appear in sorted order and will not include duplicates. Fails if P has no solutions.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	SetOf.PreprocessedSetOf
private static final class	SetOf.SetOfPredicate

Constructor Summary

Constructors

Constructor	Description
SetOf()

Method Summary

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

Methods inherited from class AbstractPredicateFactory

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

SetOf

public SetOf()

Method Details

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