org.projog.core.predicate.builtin.list

Class Subset

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.list.Subset

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class Subset
extends AbstractSingleResultPredicate

subset(X,Y) - checks if a set is a subset.

True if each of the elements in the list represented by X can be unified with elements in the list represented by Y.

Constructor Summary

Constructors

Constructor and Description
Subset()

Method Summary

Modifier and Type	Method and Description
protected boolean	evaluate(Term subsetTerm, Term set)

Methods inherited from class org.projog.core.predicate.AbstractSingleResultPredicate

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

isAlwaysCutOnBacktrack

Constructor Detail

Subset

public Subset()

Method Detail

evaluate

protected boolean evaluate(Term subsetTerm,
                           Term set)

Overrides:

evaluate in class AbstractSingleResultPredicate