Arithmetic propagators More...
Classes | |
class | SqrPlus |
Bounds consistent positive square propagator. More... | |
class | Sqr |
Propagator for bounds consistent square operator More... | |
class | Sqrt |
Propagator for bounds consistent square root operator More... | |
class | Abs |
Propagator for bounds consistent absolute operator More... | |
class | Pow |
Propagator for bounds consistent pow operator More... | |
class | NthRoot |
Propagator for bounds consistent nth root operator More... | |
class | MultZeroOne |
Bounds or domain consistent propagator for ![]() | |
class | MultPlus |
Bounds consistent positive multiplication propagator. More... | |
class | Mult |
Bounds consistent multiplication propagator. More... | |
class | Div |
Propagator for bounds multiplication operator More... | |
class | Min |
Propagator for bounds consistent min operator More... | |
class | Max |
Propagator for bounds consistent max operator More... | |
class | NaryMax |
Bounds consistent n-ary maximum propagator. More... | |
class | Channel |
Propagator for bounds consistent integer part operator More... | |
Enumerations | |
enum | MaxPropStatus { MPS_ASSIGNED = 1<<0, MPS_REMOVED = 1<<1, MPS_NEW_BOUND = 1<<2 } |
Status of propagation for nary max. More... | |
Functions | |
template<class View > | |
ExecStatus | prop_nary_max (Space &home, Propagator &p, ViewArray< View > &x, View y, PropCond pc) |
template<class View > | |
bool | pos (const View &x) |
Test whether x is postive. | |
template<class View > | |
bool | neg (const View &x) |
Test whether x is negative. | |
template<class View > | |
bool | any (const View &x) |
Test whether x is neither positive nor negative. |
Arithmetic propagators
Status of propagation for nary max.
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 193 of file min-max-channel.hpp.
ExecStatus Gecode::Float::Arithmetic::prop_nary_max | ( | Space & | home, |
Propagator & | p, | ||
ViewArray< View > & | x, | ||
View | y, | ||
PropCond | pc | ||
) | [inline] |
Definition at line 201 of file min-max-channel.hpp.
bool Gecode::Float::Arithmetic::pos | ( | const View & | x | ) | [inline] |
bool Gecode::Float::Arithmetic::neg | ( | const View & | x | ) | [inline] |
bool Gecode::Float::Arithmetic::any | ( | const View & | x | ) | [inline] |