Reified domain 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.
|
virtual size_t | dispose (Space &home) |
| Delete propagator and return its size.
|
Static Public Member Functions |
static ExecStatus | post (Home home, View x, const IntSet &s, BoolView b) |
| Post propagator for .
|
Protected Member Functions |
| ReIntSet (Space &home, bool share, ReIntSet &p) |
| Constructor for cloning p.
|
| ReIntSet (Home home, View x, const IntSet &s, BoolView b) |
| Constructor for creation.
|
Protected Attributes |
IntSet | is |
| Domain
|
Detailed Description
Reified domain dom-propagator.
Requires
Constructor & Destructor Documentation
Gecode::Int::Dom::ReIntSet::ReIntSet |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
ReIntSet & |
p |
|
) |
| [inline, protected] |
Constructor for cloning p.
Definition at line 79 of file spec.hpp.
Gecode::Int::Dom::ReIntSet::ReIntSet |
( |
Home |
home, |
|
|
View |
x, |
|
|
const IntSet & |
s, |
|
|
BoolView |
b |
|
) |
| [inline, protected] |
Constructor for creation.
Definition at line 43 of file spec.hpp.
Member Function Documentation
Actor * Gecode::Int::Dom::ReIntSet::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
Copy propagator during cloning.
Definition at line 86 of file spec.hpp.
Perform propagation.
Definition at line 92 of file spec.hpp.
Post propagator for
.
Definition at line 59 of file spec.hpp.
size_t Gecode::Int::Dom::ReIntSet::dispose |
( |
Space & |
home | ) |
[inline, virtual] |
Member Data Documentation
Domain
Definition at line 94 of file dom.hh.
The documentation for this class was generated from the following files: