MiniZinc Documentation - Standard Library

These builtins implement the standard trigonometric functions.

Functions and Predicates
function float: acos(float: x)

Return \(\mbox{acos}\ {\bf x}\)

function var float: acos(var float: x) =
let { var float: r, constraint float_acos(x, r), } in (r)
(standard decomposition from builtins.mzn:474)

Return \(\mbox{acos}\ {\bf x}\)

function float: acosh(float: x)

Return \(\mbox{acosh}\ {\bf x}\)

function var float: acosh(var float: x) =
let { var float: r, constraint float_acosh(x, r), } in (r)
(standard decomposition from builtins.mzn:528)

Return \(\mbox{acosh}\ {\bf x}\)

function float: asin(float: x)

Return \(\mbox{asin}\ {\bf x}\)

function var float: asin(var float: x) =
let { var float: r, constraint float_asin(x, r), } in (r)
(standard decomposition from builtins.mzn:465)

Return \(\mbox{asin}\ {\bf x}\)

function float: asinh(float: x)

Return \(\mbox{asinh}\ {\bf x}\)

function var float: asinh(var float: x) =
let { var float: r, constraint float_asinh(x, r), } in (r)
(standard decomposition from builtins.mzn:519)

Return \(\mbox{asinh}\ {\bf x}\)

function float: atan(float: x)

Return \(\mbox{atan}\ {\bf x}\)

function var float: atan(var float: x) =
let { var float: r, constraint float_atan(x, r), } in (r)
(standard decomposition from builtins.mzn:483)

Return \(\mbox{atan}\ {\bf x}\)

function float: atanh(float: x)

Return \(\mbox{atanh}\ {\bf x}\)

function var float: atanh(var float: x) =
let { var float: r, constraint float_atanh(x, r), } in (r)
(standard decomposition from builtins.mzn:537)

Return \(\mbox{atanh}\ {\bf x}\)

function float: cos(float: x)

Return \(\cos {\bf x}\)

function var float: cos(var float: x) =
let { var -1.0..1.0: r, constraint float_cos(x, r), } in (r)
(standard decomposition from builtins.mzn:447)

Return \(\cos {\bf x}\)

function float: cosh(float: x)

Return \(\cosh {\bf x}\)

function var float: cosh(var float: x) =
let { var float: r, constraint float_cosh(x, r), } in (r)
(standard decomposition from builtins.mzn:501)

Return \(\cosh {\bf x}\)

function float: sin(float: x)

Return \(\sin {\bf x}\)

function var float: sin(var float: x) =
let { var -1.0..1.0: r, constraint float_sin(x, r), } in (r)
(standard decomposition from builtins.mzn:438)

Return \(\sin {\bf x}\)

function float: sinh(float: x)

Return \(\sinh {\bf x}\)

function var float: sinh(var float: x) =
let { var float: r, constraint float_sinh(x, r), } in (r)
(standard decomposition from builtins.mzn:492)

Return \(\sinh {\bf x}\)

function float: tan(float: x)

Return \(\tan {\bf x}\)

function var float: tan(var float: x) =
let { var float: r, constraint float_tan(x, r), } in (r)
(standard decomposition from builtins.mzn:456)

Return \(\tan {\bf x}\)

function float: tanh(float: x)

Return \(\tanh {\bf x}\)

function var float: tanh(var float: x) =
let { var float: r, constraint float_tanh(x, r), } in (r)
(standard decomposition from builtins.mzn:510)

Return \(\tanh {\bf x}\)