Bounds consistent multiplication propagator.
More...
#include <arithmetic.hh>
List of all members.
Public Member Functions |
| MultBnd (Home home, View x0, View x1, View x2) |
| Constructor for posting.
|
virtual Actor * | copy (Space &home, bool share) |
| Copy propagator during cloning.
|
virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
| Perform propagation.
|
Static Public Member Functions |
static ExecStatus | post (Home home, View x0, View x1, View x2) |
| Post propagator .
|
Protected Member Functions |
| MultBnd (Space &home, bool share, MultBnd< View > &p) |
| Constructor for cloning p.
|
Detailed Description
Bounds consistent multiplication propagator.
Requires
Constructor & Destructor Documentation
Gecode::Int::Arithmetic::MultBnd::MultBnd |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
MultBnd< View > & |
p |
|
) |
| [inline, protected] |
Constructor for cloning p.
Definition at line 329 of file mult.hpp.
Gecode::Int::Arithmetic::MultBnd::MultBnd |
( |
Home |
home, |
|
|
View |
x0, |
|
|
View |
x1, |
|
|
View |
x2 |
|
) |
| [inline] |
Constructor for posting.
Definition at line 324 of file mult.hpp.
Member Function Documentation
ExecStatus Gecode::Int::Arithmetic::MultBnd::post |
( |
Home |
home, |
|
|
View |
x0, |
|
|
View |
x1, |
|
|
View |
x2 |
|
) |
| [static] |
Post propagator
.
Definition at line 437 of file mult.hpp.
Actor * Gecode::Int::Arithmetic::MultBnd::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
Copy propagator during cloning.
Definition at line 334 of file mult.hpp.
Perform propagation.
Definition at line 340 of file mult.hpp.
The documentation for this class was generated from the following files: