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.