Package org.projog.core.predicate.builtin.kb

Class AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator

java.lang.Object

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

All Implemented Interfaces:

ArithmeticOperator

Enclosing class:

AddUserDefinedArithmeticOperator

private static final class AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator
extends java.lang.Object
implements ArithmeticOperator

Field Summary

Fields

Modifier and Type	Field	Description
(package private) PredicateKey	key
(package private) int	numArgs
(package private) PredicateFactory	pf

Constructor Summary

Constructors

Constructor	Description
UserDefinedArithmeticOperator(Predicates p, PredicateKey originalKey)

Method Summary

Modifier and Type	Method	Description
Numeric	calculate(Term[] args)	Returns the result of the calculation using the specified arguments.
private Term[]	createArgumentsIncludingResult(Term[] args, Variable result)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

numArgs

final int numArgs

key

final PredicateKey key

pf

final PredicateFactory pf

Constructor Detail

UserDefinedArithmeticOperator

UserDefinedArithmeticOperator(Predicates p,
                              PredicateKey originalKey)

Method Detail

calculate

public Numeric calculate(Term[] args)

Description copied from interface: ArithmeticOperator

Returns the result of the calculation using the specified arguments.

Specified by:

calculate in interface ArithmeticOperator

Parameters:

args - the arguments to use in the calculation

Returns:

the result of the calculation using the specified arguments

createArgumentsIncludingResult

private Term[] createArgumentsIncludingResult(Term[] args,
                                              Variable result)