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	Description
Subset()

Method Summary

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

Methods inherited from class AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class Object

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

Methods inherited from interface PredicateFactory

isAlwaysCutOnBacktrack, preprocess

Constructor Details

Subset

public Subset()

Method Details

evaluate

protected boolean evaluate(Term subsetTerm,
 Term set)

Overrides:

evaluate in class AbstractSingleResultPredicate