|
Constant | flopc::abs (const Constant &c) |
| for computing the absolute value of a constant value. More...
|
|
Constant | flopc::pos (const Constant &c) |
| for returning non-negative value of the constant. More...
|
|
Constant | flopc::ceil (const Constant &c) |
| The ceiling integral value of the input constant. More...
|
|
Constant | flopc::floor (const Constant &c) |
| The floor integral value of the input constant. More...
|
|
Constant | flopc::minimum (const Constant &a, const Constant &b) |
| Returns the smaller of two constants. More...
|
|
Constant | flopc::maximum (const Constant &a, const Constant &b) |
| Returns the larger of two constants. More...
|
|
Constant | flopc::operator+ (const Constant &a, const Constant &b) |
| Returns the sum of two constants. More...
|
|
Constant | flopc::operator- (const Constant &a, const Constant &b) |
| Returns the difference of two constants. More...
|
|
Constant | flopc::operator* (const Constant &a, const Constant &b) |
| Returns the product of two constants. More...
|
|
Constant | flopc::operator/ (const Constant &a, const Constant &b) |
| Returns the quotient of two constants. More...
|
|
Constant | flopc::maximum (const MP_domain &i, const Constant &e) |
| Returns the maximum over the domain of the constant. More...
|
|
Constant | flopc::minimum (const MP_domain &i, const Constant &e) |
| Returns the sum of two constants. More...
|
|
Constant | flopc::sum (const MP_domain &i, const Constant &e) |
| Returns the sum of two constants. More...
|
|
Constant | flopc::product (const MP_domain &i, const Constant &e) |
| Returns the sum of two constants. More...
|
|