Arithmetic propagators
More...
|
class | Abs |
| Propagator for bounds consistent absolute operator More...
|
|
class | Div |
| Propagator for bounds division operator More...
|
|
class | Max |
| Propagator for bounds consistent max operator More...
|
|
class | Min |
| Propagator for bounds consistent min operator More...
|
|
class | Mult |
| Bounds consistent multiplication propagator. More...
|
|
class | MultPlus |
| Bounds consistent positive multiplication propagator. More...
|
|
class | MultZeroOne |
| Bounds or domain consistent propagator for . More...
|
|
class | NaryMax |
| Bounds consistent n-ary maximum propagator. More...
|
|
class | NthRoot |
| Propagator for bounds consistent nth root operator More...
|
|
class | Pow |
| Propagator for bounds consistent pow operator More...
|
|
class | Sqr |
| Propagator for bounds consistent square operator More...
|
|
class | SqrPlus |
| Bounds consistent positive square propagator. More...
|
|
class | Sqrt |
| Propagator for bounds consistent square root operator More...
|
|
◆ MaxPropStatus
Status of propagation for nary max.
Enumerator |
---|
MPS_ASSIGNED | All views are assigned.
|
MPS_REMOVED | A view is removed.
|
MPS_NEW_BOUND | Telling has found a new upper bound.
|
Definition at line 196 of file min-max.hpp.
◆ prop_nary_max()
◆ pos()
template<class View >
bool Gecode::Float::Arithmetic::pos |
( |
const View & | x | ) |
|
|
inline |
◆ neg()
template<class View >
bool Gecode::Float::Arithmetic::neg |
( |
const View & | x | ) |
|
|
inline |
◆ any()
template<class View >
bool Gecode::Float::Arithmetic::any |
( |
const View & | x | ) |
|
|
inline |
Test whether x is neither positive nor negative.
Definition at line 53 of file mult.hpp.