Uses of Interface
org.projog.core.math.ArithmeticOperator
Packages that use ArithmeticOperator
Package
Description
Provides a programming interface for Java applications to interact with Projog.
Provides arithmetic operators.
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 ArithmeticOperatorModifier and TypeMethodDescriptionvoidProjog.addArithmeticOperator(PredicateKey key, ArithmeticOperator operator) -
Uses of ArithmeticOperator in org.projog.core.math
Subinterfaces of ArithmeticOperator in org.projog.core.mathClasses in org.projog.core.math that implement ArithmeticOperatorModifier and TypeClassDescriptionclassclassA template forArithmeticOperators that accept two arguments.classA template forArithmeticOperators that accept two arguments of typeTermType.INTEGER.classA template forArithmeticOperators that accept exactly one argument.Methods in org.projog.core.math that return ArithmeticOperatorModifier and TypeMethodDescriptionArithmeticOperators.getArithmeticOperator(PredicateKey key) ArithmeticOperators.getPreprocessedArithmeticOperator(Term argument) ArithmeticOperators.placeholder()final ArithmeticOperatorAbstractArithmeticOperator.preprocess(Term expression) PreprocessableArithmeticOperator.preprocess(Term arg) Methods in org.projog.core.math with parameters of type ArithmeticOperatorModifier and TypeMethodDescriptionvoidArithmeticOperators.addArithmeticOperator(PredicateKey key, ArithmeticOperator operator) Associates aArithmeticOperatorwith thisKnowledgeBase. -
Uses of ArithmeticOperator in org.projog.core.math.builtin
Classes in org.projog.core.math.builtin that implement ArithmeticOperatorModifier and TypeClassDescriptionfinal classabs- returns the absolute value of a numeric argument.final class+- performs addition.final class/\- performs bitwise addition.final class\/- bitwise 'or'.final classxor- bitwise 'exclusive or'.final class/- performs division.final class//- performs integer division.final classmax- finds the maximum of two numbers.final classmin- finds the minimum of two numbers.final class-- minus operator.final classmod- finds the remainder of division of one number by another.final class*- performs multiplication.final class**- calculates the result of the first argument raised to the power of the second argument.final classrandom(X)Evaluate to a random integer i for which 0 =< i < X.final classrem- finds the remainder of division of one number by another.final classinteger(X)- round X to the nearest integer value.final class<<- left shift bits.final class>>- right shift bits.final class-- performs subtraction. -
Uses of ArithmeticOperator in org.projog.core.term
Classes in org.projog.core.term that implement ArithmeticOperator