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

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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