Bounds consistent ternary maximum propagator.
More...
#include <arithmetic.hh>
|
| MaxBnd (Space &home, MaxBnd &p) |
| Constructor for cloning p.
|
|
| MaxBnd (Home home, View x0, View x1, View x2) |
| Constructor for posting.
|
|
| TernaryPropagator (Space &home, TernaryPropagator &p) |
| Constructor for cloning p.
|
|
| TernaryPropagator (Home home, View x0, View x1, View x2) |
| Constructor for creation.
|
|
| TernaryPropagator (Space &home, Propagator &p, View x0, View x1, View x2) |
| Constructor for rewriting p during cloning.
|
|
| Propagator (Home home) |
| Constructor for posting.
|
|
| Propagator (Space &home, Propagator &p) |
| Constructor for cloning p.
|
|
Propagator * | fwd (void) const |
| Return forwarding pointer during copying.
|
|
Kernel::GPI::Info & | gpi (void) |
| Provide access to global propagator information.
|
|
|
View | x0 |
| Three views.
|
|
View | x1 |
|
View | x2 |
|
template<class View>
class Gecode::Int::Arithmetic::MaxBnd< View >
Bounds consistent ternary maximum propagator.
Requires
Definition at line 131 of file arithmetic.hh.
◆ MaxBnd() [1/3]
Constructor for cloning p.
Definition at line 95 of file max.hpp.
◆ MaxBnd() [2/3]
Constructor for posting.
Definition at line 75 of file max.hpp.
◆ MaxBnd() [3/3]
Constructor for rewriting p during cloning.
Definition at line 100 of file max.hpp.
◆ copy()
◆ propagate()
◆ post()
Post propagator
.
Definition at line 80 of file max.hpp.
The documentation for this class was generated from the following files: