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

Types

Link copied to clipboard
object AbsoluteValue : UnaryMathFunction

Implementation of abs/1 arithmetic functor

Link copied to clipboard
object Addition : BinaryMathFunction

Implementation of '+'/2 arithmetic functor

Link copied to clipboard
object ArcTangent : UnaryMathFunction

Implementation of atan/1 arithmetic functor

Link copied to clipboard
object BitwiseAnd : IntegersBinaryMathFunction

Implementation of '/\'/2 arithmetic functor

Link copied to clipboard
object BitwiseComplement : UnaryMathFunction

Implementation of '\'/1 arithmetic functor

Link copied to clipboard
object BitwiseLeftShift : IntegersBinaryMathFunction

Implementation of '<<'/2 arithmetic functor

Link copied to clipboard
object BitwiseOr : IntegersBinaryMathFunction

Implementation of '\/'/2 arithmetic functor

Link copied to clipboard
object BitwiseRightShift : IntegersBinaryMathFunction

Implementation of '>>'/2 arithmetic functor

Link copied to clipboard
object Ceiling : UnaryMathFunction

Implementation of ceiling/1 arithmetic functor

Link copied to clipboard
object Cosine : UnaryMathFunction

Implementation of cos/1 arithmetic functor

Link copied to clipboard
object Exponential : UnaryMathFunction

Implementation of exp/1 arithmetic functor

Link copied to clipboard
object Exponentiation : BinaryMathFunction

Implementation of '**'/2 arithmetic functor

Link copied to clipboard
object FloatFractionalPart : UnaryMathFunction

Implementation of float_fractional_part/1 arithmetic functor

Link copied to clipboard
object FloatingPointDivision : BinaryMathFunction

Implementation of '/'/2 arithmetic functor

Link copied to clipboard
object FloatIntegerPart : UnaryMathFunction

Implementation of float_integer_part/1 arithmetic functor

Link copied to clipboard
object Floor : UnaryMathFunction

Implementation of floor/1 arithmetic functor

Link copied to clipboard
object IntegerDivision : IntegersBinaryMathFunction

Implementation of '//'/2 arithmetic functor

Link copied to clipboard
object Modulo : IntegersBinaryMathFunction

Implementation of mod/2 arithmetic functor

Link copied to clipboard
object Multiplication : BinaryMathFunction

Implementation of '*'/2 arithmetic functor

Link copied to clipboard
object NaturalLogarithm : UnaryMathFunction

Implementation of log/1 arithmetic functor

Link copied to clipboard
object Remainder : IntegersBinaryMathFunction

Implementation of rem/2 arithmetic functor

Link copied to clipboard
object Round : UnaryMathFunction

Implementation of round/1 arithmetic functor

Link copied to clipboard
object Sign : UnaryMathFunction

Implementation of sign/1 arithmetic functor

Link copied to clipboard
object SignReversal : UnaryMathFunction

Implementation of '-'/1 arithmetic functor

Link copied to clipboard
object Sine : UnaryMathFunction

Implementation of sin/1 arithmetic functor

Link copied to clipboard
object SquareRoot : UnaryMathFunction

Implementation of sqrt/1 arithmetic functor

Link copied to clipboard
object Subtraction : BinaryMathFunction

Implementation of '-'/2 arithmetic functor

Link copied to clipboard
object ToFloat : UnaryMathFunction

Implementation of float/1 arithmetic functor

Link copied to clipboard
object Truncate : UnaryMathFunction

Implementation of truncate/1 arithmetic functor