Arithmetic propagators
More...
|
class | Abs |
| Propagator for bounds consistent absolute operator More...
|
|
class | Channel |
| Propagator for bounds consistent integer part operator More...
|
|
class | Div |
| Propagator for bounds multiplication 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...
|
|
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 193 of file min-max-channel.hpp.
template<class View >
bool Gecode::Float::Arithmetic::pos |
( |
const View & |
x | ) |
|
|
inline |
template<class View >
bool Gecode::Float::Arithmetic::neg |
( |
const View & |
x | ) |
|
|
inline |
template<class View >
bool Gecode::Float::Arithmetic::any |
( |
const View & |
x | ) |
|
|
inline |
Test whether x is neither positive nor negative.
Definition at line 57 of file mult.hpp.