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 class SetOf.SetOfPredicate

Constructor Summary

Constructors
Constructor Description

SetOf()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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
- SetOf
```
public SetOf()
```

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