Go to the documentation of this file.
9 #ifndef _MP_constant_hpp_
10 #define _MP_constant_hpp_
68 Constant
abs(
const Constant& c);
78 Constant
pos(
const Constant& c);
87 Constant
ceil(
const Constant& c);
96 Constant
floor(
const Constant& c);
105 Constant
minimum(
const Constant& a,
const Constant& b);
114 Constant
maximum(
const Constant& a,
const Constant& b);
122 Constant
operator+(
const Constant& a,
const Constant& b);
130 Constant
operator-(
const Constant& a,
const Constant& b);
138 Constant
operator*(
const Constant& a,
const Constant& b);
146 Constant
operator/(
const Constant& a,
const Constant& b);
149 Constant
mpif(
const MP_boolean& c,
const Constant& a,
const Constant& b);
157 Constant
maximum(
const MP_domain& i,
const Constant& e);
164 Constant
minimum(
const MP_domain& i,
const Constant& e);
171 Constant
sum(
const MP_domain& i,
const Constant& e);
178 Constant
product(
const MP_domain& i,
const Constant& e);