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.