Package it. unibo. tuprolog. solve. stdlib. function
Types
Implementation of abs/1 arithmetic functor
Implementation of '+'/2 arithmetic functor
Implementation of atan/1 arithmetic functor
Implementation of '/\'/2 arithmetic functor
Implementation of '\'/1 arithmetic functor
Implementation of '<<'/2 arithmetic functor
Implementation of '\/'/2 arithmetic functor
Implementation of '>>'/2 arithmetic functor
Implementation of ceiling/1 arithmetic functor
Implementation of cos/1 arithmetic functor
Implementation of exp/1 arithmetic functor
Implementation of '**'/2 arithmetic functor
Implementation of float_fractional_part/1 arithmetic functor
Implementation of '/'/2 arithmetic functor
Implementation of float_integer_part/1 arithmetic functor
Implementation of floor/1 arithmetic functor
Implementation of '//'/2 arithmetic functor
Implementation of mod/2 arithmetic functor
Implementation of '*'/2 arithmetic functor
Implementation of log/1 arithmetic functor
Implementation of rem/2 arithmetic functor
Implementation of round/1 arithmetic functor
Implementation of sign/1 arithmetic functor
Implementation of '-'/1 arithmetic functor
Implementation of sin/1 arithmetic functor
Implementation of sqrt/1 arithmetic functor
Implementation of '-'/2 arithmetic functor
Implementation of float/1 arithmetic functor
Implementation of truncate/1 arithmetic functor