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 ifEis a member of the listL. No attempt is made to retry the goal during backtracking - so ifEappears multiple times inLonly the first occurrence will be matched.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description private static classMemberCheck.PreprocessedMemberCheck
-
Constructor Summary
Constructors Constructor Description MemberCheck()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected booleanevaluate(Term element, Term list)PredicateFactorypreprocess(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
-
-
-
-
Method Detail
-
evaluate
protected boolean evaluate(Term element, Term list)
- Overrides:
evaluatein classAbstractSingleResultPredicate
-
preprocess
public PredicateFactory preprocess(Term term)
- Specified by:
preprocessin interfacePreprocessablePredicateFactory
-
-