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, setKnowledgeBase
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isAlwaysCutOnBacktrack
public static AlterSpyPoint spy()
public static AlterSpyPoint noSpy()
protected boolean evaluate(Term t)
evaluate
in class AbstractSingleResultPredicate
Copyright © 2024. All rights reserved.