Class SetOf

java.lang.Object

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

All Implemented Interfaces:

PredicateFactory

public final class SetOf
extends Object
implements PredicateFactory

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.

Constructor Summary

Constructors

Constructor	Description
SetOf(KnowledgeBase kb)

Method Summary

Modifier and Type	Method	Description
Predicate	getPredicate(Term term)	Returns a Predicate to be used in the evaluation of a goal.
boolean	isRetryable()	Should instances of this implementation be re-evaluated when backtracking?
PredicateFactory	preprocess(Term term)

Methods inherited from class Object

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

Methods inherited from interface PredicateFactory

isAlwaysCutOnBacktrack

Constructor Details

SetOf

public SetOf(KnowledgeBase kb)

Method Details

preprocess

public PredicateFactory preprocess(Term term)

Specified by:

preprocess in interface PredicateFactory

getPredicate

public Predicate getPredicate(Term term)

Description copied from interface: PredicateFactory

Returns a Predicate to be used in the evaluation of a goal.

Specified by:

getPredicate in interface PredicateFactory

Parameters:

term - the term containing the arguments to use in the evaluation of the goal

Returns:

Predicate to be used in the evaluation of the goal

See Also:

• Predicate.evaluate()

isRetryable

public boolean isRetryable()

Description copied from interface: PredicateFactory

Should instances of this implementation be re-evaluated when backtracking?

Some goals (e.g. X is 1) are only meant to be evaluated once (the statement is either true or false) while others (e.g. repeat(3)) are meant to be evaluated multiple times. For instances of Predicate that are designed to possibly have Predicate.evaluate() called on them multiple times for the same individual query this method should return true. For instances of Predicate that are designed to only be evaluated once per individual query this method should return false.

Specified by:

isRetryable in interface PredicateFactory

Returns:

true if an attempt should be made to re-evaluate instances of implementing classes when backtracking, false otherwise