Class AddArithmeticOperator

  • All Implemented Interfaces:
    KnowledgeBaseConsumer, PredicateFactory

    public final class AddArithmeticOperator
    extends AbstractSingleResultPredicate
    pj_add_arithmetic_operator(X,Y) - defines a Java class as an arithmetic operator.

    X represents the name and arity of the predicate. Y represents the full class name of an implementation of org.projog.core.ArithmeticOperator.