Reified range dom-propagator.
More...
#include <dom.hh>
List of all members.
Public Member Functions |
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 x, int min, int max, BoolView b) |
| Post propagator for .
|
Protected Member Functions |
| ReRange (Space &home, bool share, ReRange &p) |
| Constructor for cloning p.
|
| ReRange (Home home, View x, int min, int max, BoolView b) |
| Constructor for creation.
|
Protected Attributes |
int | min |
| Minimum of range.
|
int | max |
| Maximum of range.
|
Detailed Description
Reified range dom-propagator.
Requires
Constructor & Destructor Documentation
Gecode::Int::Dom::ReRange::ReRange |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
ReRange & |
p |
|
) |
| [inline, protected] |
Constructor for cloning p.
Definition at line 72 of file range.hpp.
Gecode::Int::Dom::ReRange::ReRange |
( |
Home |
home, |
|
|
View |
x, |
|
|
int |
min, |
|
|
int |
max, |
|
|
BoolView |
b |
|
) |
| [inline, protected] |
Constructor for creation.
Definition at line 44 of file range.hpp.
Member Function Documentation
Actor * Gecode::Int::Dom::ReRange::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
Copy propagator during cloning.
Definition at line 78 of file range.hpp.
Perform propagation.
Definition at line 84 of file range.hpp.
Post propagator for
.
Definition at line 50 of file range.hpp.
Member Data Documentation
Minimum of range.
Definition at line 65 of file dom.hh.
Maximum of range.
Definition at line 67 of file dom.hh.
The documentation for this class was generated from the following files: