Sequence propagator for array of integers
More...
#include <sequence.hh>
List of all members.
Public Member Functions |
virtual Actor * | copy (Space &home, bool share) |
| Perform copying during cloning.
|
ExecStatus | advise (Space &home, Advisor &_a, const Delta &d) |
| Advise function.
|
virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
| Cost function.
|
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, ViewArray< View > &x, Val s, int q, int l, int u) |
| Post propagator for.
|
static ExecStatus | check (Space &home, ViewArray< View > &x, Val s, int q, int l, int u) |
| Check for consistency.
|
Protected Member Functions |
| Sequence (Space &home, bool shared, Sequence &p) |
| Constructor for cloning p.
|
| Sequence (Home home, ViewArray< View > &x, Val s, int q, int l, int u) |
| Constructor for creation.
|
Detailed Description
Sequence propagator for array of integers
Requires
Constructor & Destructor Documentation
Gecode::Int::Sequence::Sequence::Sequence |
( |
Space & |
home, |
|
|
bool |
shared, |
|
|
Sequence & |
p |
|
) |
| [inline, protected] |
Constructor for cloning p.
Definition at line 62 of file int.hpp.
Gecode::Int::Sequence::Sequence::Sequence |
( |
Home |
home, |
|
|
ViewArray< View > & |
x, |
|
|
Val |
s, |
|
|
int |
q, |
|
|
int |
l, |
|
|
int |
u |
|
) |
| [inline, protected] |
Constructor for creation.
Definition at line 46 of file int.hpp.
Member Function Documentation
Actor * Gecode::Int::Sequence::Sequence::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
ExecStatus Gecode::Int::Sequence::Sequence::post |
( |
Home |
home, |
|
|
ViewArray< View > & |
x, |
|
|
Val |
s, |
|
|
int |
q, |
|
|
int |
l, |
|
|
int |
u |
|
) |
| [static] |
Post propagator for.
Definition at line 130 of file int.hpp.
ExecStatus Gecode::Int::Sequence::Sequence::check |
( |
Space & |
home, |
|
|
ViewArray< View > & |
x, |
|
|
Val |
s, |
|
|
int |
q, |
|
|
int |
l, |
|
|
int |
u |
|
) |
| [inline, static] |
Check for consistency.
Definition at line 106 of file int.hpp.
size_t Gecode::Int::Sequence::Sequence::dispose |
( |
Space & |
home | ) |
[inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Definition at line 96 of file int.hpp.
The documentation for this class was generated from the following files: