Class SetOf.SetOfPredicate

java.lang.Object

org.projog.core.predicate.builtin.compound.AbstractCollectionOf

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

All Implemented Interfaces:

Predicate

Enclosing class:

SetOf

private static final class SetOf.SetOfPredicate
extends AbstractCollectionOf

Constructor Summary

Constructors

Modifier	Constructor	Description
private	SetOfPredicate(PredicateFactory pf, Term template, Term goal, Term bag)

Method Summary

Modifier and Type	Method	Description
protected void	add(List<Term> list, Term newTerm)	"setof" excludes duplicates and orders elements using TermComparator.

Methods inherited from class AbstractCollectionOf

couldReevaluationSucceed, evaluate

Methods inherited from class Object

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

Constructor Details

SetOfPredicate

private SetOfPredicate(PredicateFactory pf,
 Term template,
 Term goal,
 Term bag)

Method Details

add

protected void add(List<Term> list,
 Term newTerm)

"setof" excludes duplicates and orders elements using TermComparator.

Specified by:

add in class AbstractCollectionOf