it.unibo.tuprolog.solve.stdlib.function

package it.unibo.tuprolog.solve.stdlib.function

Classes

Name Description
object AbsoluteValue: UnaryMathFunction

Implementation of abs/1 arithmetic functor

object Addition: BinaryMathFunction

Implementation of '+'/2 arithmetic functor

object ArcTangent: UnaryMathFunction

Implementation of atan/1 arithmetic functor

object BitwiseAnd: IntegersBinaryMathFunction

Implementation of '/\'/2 arithmetic functor

object BitwiseComplement: UnaryMathFunction

Implementation of '\'/1 arithmetic functor

object BitwiseLeftShift: IntegersBinaryMathFunction

Implementation of '<<'/2 arithmetic functor

object BitwiseOr: IntegersBinaryMathFunction

Implementation of '\/'/2 arithmetic functor

object BitwiseRightShift: IntegersBinaryMathFunction

Implementation of '>>'/2 arithmetic functor

object Ceiling: UnaryMathFunction

Implementation of ceiling/1 arithmetic functor

object Cosine: UnaryMathFunction

Implementation of cos/1 arithmetic functor

object Exponential: UnaryMathFunction

Implementation of exp/1 arithmetic functor

object Exponentiation: BinaryMathFunction

Implementation of '**'/2 arithmetic functor

object FloatFractionalPart: UnaryMathFunction

Implementation of float_fractional_part/1 arithmetic functor

object FloatIntegerPart: UnaryMathFunction

Implementation of float_integer_part/1 arithmetic functor

object FloatingPointDivision: BinaryMathFunction

Implementation of '/'/2 arithmetic functor

object Floor: UnaryMathFunction

Implementation of floor/1 arithmetic functor

object IntegerDivision: IntegersBinaryMathFunction

Implementation of '//'/2 arithmetic functor

object Modulo: IntegersBinaryMathFunction

Implementation of mod/2 arithmetic functor

object Multiplication: BinaryMathFunction

Implementation of '*'/2 arithmetic functor

object NaturalLogarithm: UnaryMathFunction

Implementation of log/1 arithmetic functor

object Remainder: IntegersBinaryMathFunction

Implementation of rem/2 arithmetic functor

object Round: UnaryMathFunction

Implementation of round/1 arithmetic functor

object Sign: UnaryMathFunction

Implementation of sign/1 arithmetic functor

object SignReversal: UnaryMathFunction

Implementation of '-'/1 arithmetic functor

object Sine: UnaryMathFunction

Implementation of sin/1 arithmetic functor

object SquareRoot: UnaryMathFunction

Implementation of sqrt/1 arithmetic functor

object Subtraction: BinaryMathFunction

Implementation of '-'/2 arithmetic functor

object ToFloat: UnaryMathFunction

Implementation of float/1 arithmetic functor

object Truncate: UnaryMathFunction

Implementation of truncate/1 arithmetic functor