org.projog.core.predicate.builtin.list

Class MemberCheck

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.list.MemberCheck

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory, PreprocessablePredicateFactory

public final class MemberCheck
extends AbstractSingleResultPredicate
implements PreprocessablePredicateFactory

memberchk(E, L) - checks is a term is a member of a list.

memberchk(E, L) succeeds if E is a member of the list L. No attempt is made to retry the goal during backtracking - so if E appears multiple times in L only the first occurrence will be matched.

Constructor Summary

Constructors

Constructor and Description
MemberCheck()

Method Summary

Modifier and Type	Method and Description
protected boolean	evaluate(Term element, Term list)
PredicateFactory	preprocess(Term term)

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

getPredicate, isAlwaysCutOnBacktrack, isRetryable

Constructor Detail

MemberCheck

public MemberCheck()

Method Detail

evaluate

protected boolean evaluate(Term element,
                           Term list)

Overrides:

evaluate in class AbstractSingleResultPredicate

preprocess

public PredicateFactory preprocess(Term term)

Specified by:

preprocess in interface PreprocessablePredicateFactory