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 Object
implements ArithmeticOperator

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final PredicateKey	key
(package private) final int	numArgs
(package private) final 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 Object

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

Field Details

numArgs

final int numArgs

key

final PredicateKey key

pf

final PredicateFactory pf

Constructor Details

UserDefinedArithmeticOperator

UserDefinedArithmeticOperator(Predicates p,
 PredicateKey originalKey)

Method Details

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)