Uses of Interface
org.projog.core.math.ArithmeticOperator

Packages that use ArithmeticOperator

Package	Description
org.projog.api	Provides a programming interface for Java applications to interact with Projog.
org.projog.core.math
org.projog.core.math.builtin	Provides arithmetic operators.
org.projog.core.predicate.builtin.clp	Predicates to support constraint logic programming.
org.projog.core.predicate.builtin.compare	Predicates for comparing terms, including specific predicates for comparing numeric values.
org.projog.core.predicate.builtin.kb	Predicates for inspecting, adding and retracting clauses.
org.projog.core.term	Contains the building blocks used to construct Prolog programs and queries.

Uses of ArithmeticOperator in org.projog.api

Methods in org.projog.api with parameters of type ArithmeticOperator

Modifier and Type	Method	Description
void	Projog.addArithmeticOperator(PredicateKey key, ArithmeticOperator operator)	Associates a ArithmeticOperator with this KnowledgeBase of this Projog.

Uses of ArithmeticOperator in org.projog.core.math

Subinterfaces of ArithmeticOperator in org.projog.core.math

Modifier and Type	Interface	Description
interface	Numeric	A Term that has a numerical value.
interface	PreprocessableArithmeticOperator

Classes in org.projog.core.math that implement ArithmeticOperator

Modifier and Type	Class	Description
class	AbstractArithmeticOperator
private final class	AbstractArithmeticOperator.PreprocessedBinaryOperator
private final class	AbstractArithmeticOperator.PreprocessedUnaryOperator
class	AbstractBinaryArithmeticOperator	A template for ArithmeticOperators that accept two arguments.
class	AbstractBinaryIntegerArithmeticOperator	A template for ArithmeticOperators that accept two arguments of type TermType.INTEGER.
class	AbstractUnaryArithmeticOperator	A template for ArithmeticOperators that accept exactly one argument.

Fields in org.projog.core.math declared as ArithmeticOperator

Modifier and Type	Field	Description
(package private) final ArithmeticOperator	AbstractArithmeticOperator.PreprocessedUnaryOperator.o
(package private) final ArithmeticOperator	AbstractArithmeticOperator.PreprocessedBinaryOperator.o1
(package private) final ArithmeticOperator	AbstractArithmeticOperator.PreprocessedBinaryOperator.o2

Fields in org.projog.core.math with type parameters of type ArithmeticOperator

Modifier and Type	Field	Description
private final Map<PredicateKey, ArithmeticOperator>	ArithmeticOperators.operatorInstances

Methods in org.projog.core.math that return ArithmeticOperator

Modifier and Type	Method	Description
ArithmeticOperator	ArithmeticOperators.getArithmeticOperator(PredicateKey key)
private ArithmeticOperator	ArithmeticOperators.getPreprocessedArithmeticOperator(PredicateKey key, Term argument)
ArithmeticOperator	ArithmeticOperators.getPreprocessedArithmeticOperator(Term argument)
private ArithmeticOperator	ArithmeticOperators.instantiateArithmeticOperator(String className)
private ArithmeticOperator	ArithmeticOperators.instantiateArithmeticOperator(PredicateKey key)
final ArithmeticOperator	AbstractArithmeticOperator.preprocess(Term expression)
ArithmeticOperator	PreprocessableArithmeticOperator.preprocess(Term arg)
private ArithmeticOperator	AbstractArithmeticOperator.preprocessBinaryOperator(Term argument1, Term argument2)
private ArithmeticOperator	AbstractArithmeticOperator.preprocessUnaryOperator(Term argument)

Methods in org.projog.core.math with parameters of type ArithmeticOperator

Modifier and Type	Method	Description
void	ArithmeticOperators.addArithmeticOperator(PredicateKey key, ArithmeticOperator operator)	Associates a ArithmeticOperator with this KnowledgeBase.

Constructors in org.projog.core.math with parameters of type ArithmeticOperator

Modifier	Constructor	Description
(package private)	PreprocessedBinaryOperator(ArithmeticOperator o1, ArithmeticOperator o2)
(package private)	PreprocessedUnaryOperator(ArithmeticOperator o)

Uses of ArithmeticOperator in org.projog.core.math.builtin

Classes in org.projog.core.math.builtin that implement ArithmeticOperator

Modifier and Type	Class	Description
final class	Abs	abs - returns the absolute value of a numeric argument.
final class	Add	+ - performs addition.
final class	BitwiseAnd	/\ - performs bitwise addition.
final class	BitwiseOr	\/ - bitwise 'or'.
final class	BitwiseXor	xor - bitwise 'exclusive or'.
final class	Divide	/ - performs division.
final class	IntegerDivide	// - performs integer division.
final class	Max	max - finds the maximum of two numbers.
final class	Min	min - finds the minimum of two numbers.
final class	Minus	- - minus operator.
final class	Modulo	mod - finds the remainder of division of one number by another.
final class	Multiply	* - performs multiplication.
final class	Power	** - calculates the result of the first argument raised to the power of the second argument.
final class	Random	random(X) Evaluate to a random integer i for which 0 =< i < X.
final class	Remainder	rem - finds the remainder of division of one number by another.
final class	Round	integer(X) - round X to the nearest integer value.
final class	ShiftLeft	<< - left shift bits.
final class	ShiftRight	>> - right shift bits.
final class	Subtract	- - performs subtraction.

Uses of ArithmeticOperator in org.projog.core.predicate.builtin.clp

Classes in org.projog.core.predicate.builtin.clp that implement ArithmeticOperator

Modifier and Type	Class	Description
(package private) final class	ClpVariable	A Term that could represent a number of possible numeric values.

Uses of ArithmeticOperator in org.projog.core.predicate.builtin.compare

Fields in org.projog.core.predicate.builtin.compare declared as ArithmeticOperator

Modifier and Type	Field	Description
(package private) final ArithmeticOperator	Is.PreprocessedIs.o

Constructors in org.projog.core.predicate.builtin.compare with parameters of type ArithmeticOperator

Modifier	Constructor	Description
(package private)	PreprocessedIs(ArithmeticOperator o)

Uses of ArithmeticOperator in org.projog.core.predicate.builtin.kb

Classes in org.projog.core.predicate.builtin.kb that implement ArithmeticOperator

Modifier and Type	Class	Description
private static final class	AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator

Uses of ArithmeticOperator in org.projog.core.term

Classes in org.projog.core.term that implement ArithmeticOperator

Modifier and Type	Class	Description
final class	DecimalFraction	Represents a value of the primitive type double as a Term.
final class	IntegerNumber	Represents a value of the primitive type long as a Term.