public final class AlterSpyPoint extends AbstractSingleResultPredicate
spy(X) / nospy(X) - add or remove a spy point for a predicate.
spy(X) - add a spy point for a predicate. By adding a spy point for the predicate name instantiated to
X the programmer will be informed how it is used in the resolution of a goal.
nospy(X) - removes a spy point for a predicate. By removing a spy point for the predicate name
instantiated to X the programmer will no longer be informed how it is used in the resolution of a goal.
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
evaluate(Term t) |
static AlterSpyPoint |
noSpy() |
static AlterSpyPoint |
spy() |
evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBaseclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitisAlwaysCutOnBacktrackpublic static AlterSpyPoint spy()
public static AlterSpyPoint noSpy()
protected boolean evaluate(Term t)
evaluate in class AbstractSingleResultPredicateCopyright © 2024. All rights reserved.