Gecode::Set::Precede::Single< View > Class Template Reference
[Integer propagators]
Single value precedence propagator. More...
#include <precede.hh>
Classes | |
class | Index |
Advisors for views (by position in array) More... | |
Public Member Functions | |
virtual Propagator * | copy (Space &home, bool share) |
Copy propagator during cloning. | |
virtual PropCost | cost (const Space &, const ModEventDelta &) const |
Cost function. | |
virtual size_t | dispose (Space &home) |
Delete propagator and return its size. | |
virtual ExecStatus | advise (Space &home, Advisor &a, const Delta &d) |
Give advice to propagator. | |
virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
Perform propagation. | |
Static Public Member Functions | |
static ExecStatus | post (Home home, ViewArray< View > &x, int s, int t) |
Post propagator that s precedes t in x. | |
Protected Member Functions | |
ExecStatus | updateAlpha (Space &home) |
Update the alpha pointer. | |
ExecStatus | updateBeta (Space &home) |
Update the beta pointer. | |
Single (Home home, ViewArray< View > &x, int s, int t, int beta, int gamma) | |
Constructor for posting. | |
Single (Space &home, bool share, Single< View > &p) | |
Constructor for cloning p. | |
Protected Attributes | |
Council< Index > | c |
The advisor council. | |
int | s |
The value s must precede t. | |
int | t |
int | alpha |
Pointers updated during propagation. | |
int | beta |
int | gamma |
Detailed Description
template<class View>
class Gecode::Set::Precede::Single< View >
Single value precedence propagator.
The propagator is based on: Yat Chiu Law and Jimmy H.M. Lee, Global Constraints for Integer and Set Value Precedence, CP 2004, 362--376.
Requires
#include <gecode/set/precede.hh>
Definition at line 67 of file precede.hh.
Constructor & Destructor Documentation
Gecode::Set::Precede::Single< View >::Single | ( | Home | home, | |
ViewArray< View > & | x, | |||
int | s, | |||
int | t, | |||
int | beta, | |||
int | gamma | |||
) | [inline, protected] |
Constructor for posting.
Definition at line 92 of file single.hpp.
Gecode::Set::Precede::Single< View >::Single | ( | Space & | home, | |
bool | share, | |||
Single< View > & | p | |||
) | [inline, protected] |
Constructor for cloning p.
Definition at line 146 of file single.hpp.
Member Function Documentation
ExecStatus Gecode::Set::Precede::Single< View >::updateAlpha | ( | Space & | home | ) | [inline, protected] |
Update the alpha pointer.
Definition at line 60 of file single.hpp.
ExecStatus Gecode::Set::Precede::Single< View >::updateBeta | ( | Space & | home | ) | [inline, protected] |
Update the beta pointer.
Definition at line 77 of file single.hpp.
Propagator * Gecode::Set::Precede::Single< View >::copy | ( | Space & | home, | |
bool | share | |||
) | [inline, virtual] |
Copy propagator during cloning.
Implements Gecode::Actor.
Definition at line 154 of file single.hpp.
PropCost Gecode::Set::Precede::Single< View >::cost | ( | const Space & | , | |
const ModEventDelta & | ||||
) | const [inline, virtual] |
Cost function.
Reimplemented from Gecode::NaryPropagator< View, PC_SET_NONE >.
Definition at line 189 of file single.hpp.
size_t Gecode::Set::Precede::Single< View >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::NaryPropagator< View, PC_SET_NONE >.
Definition at line 178 of file single.hpp.
ExecStatus Gecode::Set::Precede::Single< View >::advise | ( | Space & | home, | |
Advisor & | a, | |||
const Delta & | d | |||
) | [inline, virtual] |
Give advice to propagator.
Reimplemented from Gecode::Propagator.
Definition at line 195 of file single.hpp.
ExecStatus Gecode::Set::Precede::Single< View >::propagate | ( | Space & | home, | |
const ModEventDelta & | med | |||
) | [inline, virtual] |
ExecStatus Gecode::Set::Precede::Single< View >::post | ( | Home | home, | |
ViewArray< View > & | x, | |||
int | s, | |||
int | t | |||
) | [inline, static] |
Post propagator that s precedes t in x.
Definition at line 104 of file single.hpp.
Member Data Documentation
Council<Index> Gecode::Set::Precede::Single< View >::c [protected] |
The advisor council.
Definition at line 81 of file precede.hh.
int Gecode::Set::Precede::Single< View >::s [protected] |
The value s must precede t.
Definition at line 83 of file precede.hh.
int Gecode::Set::Precede::Single< View >::t [protected] |
Definition at line 83 of file precede.hh.
int Gecode::Set::Precede::Single< View >::alpha [protected] |
Pointers updated during propagation.
Definition at line 85 of file precede.hh.
int Gecode::Set::Precede::Single< View >::beta [protected] |
Definition at line 85 of file precede.hh.
int Gecode::Set::Precede::Single< View >::gamma [protected] |
Definition at line 85 of file precede.hh.
The documentation for this class was generated from the following files:
- gecode/set/precede.hh (Revision: 12172)
- gecode/set/precede/single.hpp (Revision: 12172)