org.projog.core.predicate.builtin.compound

Class Not

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.compound.Not

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory, PreprocessablePredicateFactory

public final class Not
extends AbstractSingleResultPredicate
implements PreprocessablePredicateFactory

\+ X - "not".

The \+ X goal succeeds if an attempt to satisfy the goal represented by the term X fails. The \+ X goal fails if an attempt to satisfy the goal represented by the term X succeeds.

Constructor Summary

Constructors

Constructor and Description
Not()

Method Summary

Modifier and Type	Method and Description
protected boolean	evaluate(Term t)
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

Not

public Not()

Method Detail

evaluate

protected boolean evaluate(Term t)

Overrides:

evaluate in class AbstractSingleResultPredicate

preprocess

public PredicateFactory preprocess(Term term)

Specified by:

preprocess in interface PreprocessablePredicateFactory