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.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static final class	Not.OptimisedNot

Constructor Summary

Constructors

Constructor	Description
Not()

Method Summary

Modifier and Type	Method	Description
protected boolean	evaluate(Term t)
private static boolean	evaluateNot(Term t, PredicateFactory pf)
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

Not

public Not()

Method Details

evaluate

protected boolean evaluate(Term t)

Overrides:

evaluate in class AbstractSingleResultPredicate

evaluateNot

private static boolean evaluateNot(Term t,
 PredicateFactory pf)

preprocess

public PredicateFactory preprocess(Term term)

Specified by:

preprocess in interface PreprocessablePredicateFactory