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 voidProjog. addArithmeticOperator(PredicateKey key, ArithmeticOperator operator) -
Uses of ArithmeticOperator in org.projog.core.math
Subinterfaces of ArithmeticOperator in org.projog.core.math Modifier and Type Interface Description interfaceNumericATermthat has a numerical value.interfacePreprocessableArithmeticOperatorClasses in org.projog.core.math that implement ArithmeticOperator Modifier and Type Class Description classAbstractArithmeticOperatorprivate classAbstractArithmeticOperator.PreprocessedBinaryOperatorprivate classAbstractArithmeticOperator.PreprocessedUnaryOperatorclassAbstractBinaryArithmeticOperatorA template forArithmeticOperators that accept two arguments.classAbstractBinaryIntegerArithmeticOperatorA template forArithmeticOperators that accept two arguments of typeTermType.INTEGER.classAbstractUnaryArithmeticOperatorA template forArithmeticOperators that accept exactly one argument.Fields in org.projog.core.math declared as ArithmeticOperator Modifier and Type Field Description (package private) ArithmeticOperatorAbstractArithmeticOperator.PreprocessedUnaryOperator. o(package private) ArithmeticOperatorAbstractArithmeticOperator.PreprocessedBinaryOperator. o1(package private) ArithmeticOperatorAbstractArithmeticOperator.PreprocessedBinaryOperator. o2Fields in org.projog.core.math with type parameters of type ArithmeticOperator Modifier and Type Field Description private java.util.Map<PredicateKey,ArithmeticOperator>ArithmeticOperators. operatorInstancesMethods in org.projog.core.math that return ArithmeticOperator Modifier and Type Method Description ArithmeticOperatorArithmeticOperators. getArithmeticOperator(PredicateKey key)private ArithmeticOperatorArithmeticOperators. getPreprocessedArithmeticOperator(PredicateKey key, Term argument)ArithmeticOperatorArithmeticOperators. getPreprocessedArithmeticOperator(Term argument)private ArithmeticOperatorArithmeticOperators. instantiateArithmeticOperator(java.lang.String className)private ArithmeticOperatorArithmeticOperators. instantiateArithmeticOperator(PredicateKey key)ArithmeticOperatorAbstractArithmeticOperator. preprocess(Term expression)ArithmeticOperatorPreprocessableArithmeticOperator. preprocess(Term arg)private ArithmeticOperatorAbstractArithmeticOperator. preprocessBinaryOperator(Term argument1, Term argument2)private ArithmeticOperatorAbstractArithmeticOperator. preprocessUnaryOperator(Term argument)Methods in org.projog.core.math with parameters of type ArithmeticOperator Modifier and Type Method Description voidArithmeticOperators. addArithmeticOperator(PredicateKey key, ArithmeticOperator operator)Associates aArithmeticOperatorwith thisKnowledgeBase.Constructors in org.projog.core.math with parameters of type ArithmeticOperator Constructor Description PreprocessedBinaryOperator(ArithmeticOperator o1, ArithmeticOperator o2)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 classAbsabs- returns the absolute value of a numeric argument.classAdd+- performs addition.classBitwiseAnd/\- performs bitwise addition.classBitwiseOr\/- bitwise 'or'.classBitwiseXorxor- bitwise 'exclusive or'.classDivide/- performs division.classIntegerDivide//- performs integer division.classMaxmax- finds the maximum of two numbers.classMinmin- finds the minimum of two numbers.classMinus-- minus operator.classModulomod- finds the remainder of division of one number by another.classMultiply*- performs multiplication.classPower**- calculates the result of the first argument raised to the power of the second argument.classRandomrandom(X)Evaluate to a random integer i for which 0 =< i < X.classRemainderrem- finds the remainder of division of one number by another.classRoundinteger(X)- round X to the nearest integer value.classShiftLeft<<- left shift bits.classShiftRight>>- right shift bits.classSubtract-- 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) classClpVariableATermthat 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) ArithmeticOperatorIs.PreprocessedIs. oConstructors in org.projog.core.predicate.builtin.compare with parameters of type ArithmeticOperator Constructor Description 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 classAddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator -
Uses of ArithmeticOperator in org.projog.core.term
Classes in org.projog.core.term that implement ArithmeticOperator Modifier and Type Class Description classDecimalFractionRepresents a value of the primitive typedoubleas aTerm.classIntegerNumberRepresents a value of the primitive typelongas aTerm.
-