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.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	MemberCheck.PreprocessedMemberCheck

Constructor Summary

Constructors

Constructor	Description
MemberCheck()

Method Summary

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

Methods inherited from class AbstractSingleResultPredicate

evaluate, 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

getPredicate, isAlwaysCutOnBacktrack, isRetryable

Constructor Details

MemberCheck

public MemberCheck()

Method Details

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