Package org.projog.core.predicate.builtin.compound

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(java.util.List<Term> list, Term newTerm)	"setof" excludes duplicates and orders elements using TermComparator.

Methods inherited from class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

couldReevaluationSucceed, evaluate

Methods inherited from class java.lang.Object

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

Constructor Detail

SetOfPredicate

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

Method Detail

add

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

"setof" excludes duplicates and orders elements using TermComparator.

Specified by:

add in class AbstractCollectionOf