Package it.unibo.tuprolog.solve.stdlib.function

Types

AbsoluteValue

common

object AbsoluteValue : UnaryMathFunction

Implementation of abs/1 arithmetic functor

Addition

common

object Addition : BinaryMathFunction

Implementation of '+'/2 arithmetic functor

ArcTangent

common

object ArcTangent : UnaryMathFunction

Implementation of atan/1 arithmetic functor

BitwiseAnd

common

object BitwiseAnd : IntegersBinaryMathFunction

Implementation of '/\'/2 arithmetic functor

BitwiseComplement

common

object BitwiseComplement : UnaryMathFunction

Implementation of '\'/1 arithmetic functor

BitwiseLeftShift

common

object BitwiseLeftShift : IntegersBinaryMathFunction

Implementation of '<<'/2 arithmetic functor

BitwiseOr

common

object BitwiseOr : IntegersBinaryMathFunction

Implementation of '\/'/2 arithmetic functor

BitwiseRightShift

common

object BitwiseRightShift : IntegersBinaryMathFunction

Implementation of '>>'/2 arithmetic functor

Ceiling

common

object Ceiling : UnaryMathFunction

Implementation of ceiling/1 arithmetic functor

Cosine

common

object Cosine : UnaryMathFunction

Implementation of cos/1 arithmetic functor

Exponential

common

object Exponential : UnaryMathFunction

Implementation of exp/1 arithmetic functor

Exponentiation

common

object Exponentiation : BinaryMathFunction

Implementation of '**'/2 arithmetic functor

FloatFractionalPart

common

object FloatFractionalPart : UnaryMathFunction

Implementation of float_fractional_part/1 arithmetic functor

FloatingPointDivision

common

object FloatingPointDivision : BinaryMathFunction

Implementation of '/'/2 arithmetic functor

FloatIntegerPart

common

object FloatIntegerPart : UnaryMathFunction

Implementation of float_integer_part/1 arithmetic functor

Floor

common

object Floor : UnaryMathFunction

Implementation of floor/1 arithmetic functor

IntegerDivision

common

object IntegerDivision : IntegersBinaryMathFunction

Implementation of '//'/2 arithmetic functor

Modulo

common

object Modulo : IntegersBinaryMathFunction

Implementation of mod/2 arithmetic functor

Multiplication

common

object Multiplication : BinaryMathFunction

Implementation of '*'/2 arithmetic functor

NaturalLogarithm

common

object NaturalLogarithm : UnaryMathFunction

Implementation of log/1 arithmetic functor

Remainder

common

object Remainder : IntegersBinaryMathFunction

Implementation of rem/2 arithmetic functor

Round

common

object Round : UnaryMathFunction

Implementation of round/1 arithmetic functor

Sign

common

object Sign : UnaryMathFunction

Implementation of sign/1 arithmetic functor

SignReversal

common

object SignReversal : UnaryMathFunction

Implementation of '-'/1 arithmetic functor

Sine

common

object Sine : UnaryMathFunction

Implementation of sin/1 arithmetic functor

SquareRoot

common

object SquareRoot : UnaryMathFunction

Implementation of sqrt/1 arithmetic functor

Subtraction

common

object Subtraction : BinaryMathFunction

Implementation of '-'/2 arithmetic functor

ToFloat

common

object ToFloat : UnaryMathFunction

Implementation of float/1 arithmetic functor

Truncate

common

object Truncate : UnaryMathFunction

Implementation of truncate/1 arithmetic functor