Class AddUserDefinedArithmeticOperator

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.kb.AddUserDefinedArithmeticOperator

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class AddUserDefinedArithmeticOperator
extends AbstractSingleResultPredicate

arithmetic_function(X) - defines a predicate as an arithmetic function.

Allows the predicate defined by X to be used as an arithmetic function.

Constructor Summary

Constructors

Constructor	Description
AddUserDefinedArithmeticOperator()

Method Summary

Modifier and Type	Method	Description
protected boolean	evaluate(Term arg)

Methods inherited from class AbstractSingleResultPredicate

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

isAlwaysCutOnBacktrack, preprocess

Constructor Details

AddUserDefinedArithmeticOperator

public AddUserDefinedArithmeticOperator()

Method Details

evaluate

protected boolean evaluate(Term arg)

Overrides:

evaluate in class AbstractSingleResultPredicate