These builtins implement exponential and logarithmic functions.
Functions and Predicates
Return \(e ^ {{\bf x}}\)
◀function var float: exp(var float: x) =
let {
var float: r,
constraint float_exp(x, r),
} in (r)
(standard decomposition from builtins.mzn:391)Return \(e ^ {{\bf x}}\)
Return \(\ln {\bf x}\)
◀function var float: ln(var float: x) =
let {
var float: r,
constraint float_ln(x, r),
} in (r)
(standard decomposition from builtins.mzn:400)Return \(\ln {\bf x}\)
Return \(\log_{{\bf x}} {\bf y}\)
Return \(\log_{10} {\bf x}\)
◀function var float: log10(var float: x) =
let {
var float: r,
constraint float_log10(x, r),
} in (r)
(standard decomposition from builtins.mzn:409)Return \(\log_{10} {\bf x}\)
Return \(\log_{2} {\bf x}\)
◀function var float: log2(var float: x) =
let {
var float: r,
constraint float_log2(x, r),
} in (r)
(standard decomposition from builtins.mzn:418)Return \(\log_{2} {\bf x}\)