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 class Not.OptimisedNot

Constructor Summary

Constructors
Constructor Description

Not()

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
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 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

evaluateNot

private static boolean evaluateNot(Term t,
                                   PredicateFactory pf)

preprocess
```
public PredicateFactory preprocess(Term term)
```
Specified by:

preprocess in interface PreprocessablePredicateFactory