Gecode::Int::Extensional::Basic< View, shared > Class Template Reference
[Integer propagators]
Domain consistent extensional propagator. More...
#include <extensional.hh>
Public Member Functions | |
virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
Perform propagation. | |
virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
Cost function. | |
virtual Actor * | copy (Space &home, bool share) |
Copy propagator during cloning. | |
Static Public Member Functions | |
static ExecStatus | post (Home home, ViewArray< View > &x, const TupleSet &t) |
Post propagator for views x. | |
Protected Member Functions | |
Basic (Space &home, bool share, Basic< View, shared > &p) | |
Constructor for cloning p. | |
Basic (Home home, ViewArray< View > &x, const TupleSet &t) | |
Constructor for posting. |
Detailed Description
template<class View, bool shared>
class Gecode::Int::Extensional::Basic< View, shared >
Domain consistent extensional propagator.
This propagator implements a basic extensional propagation algorithm. It is based on GAC2001, and as such it does not fully take into account multidirectionality.
If shared is true, the same view can occur multiply.
Requires
#include <gecode/int/extensional.hh>
Definition at line 295 of file extensional.hh.
Constructor & Destructor Documentation
template<class View , bool shared>
Gecode::Int::Extensional::Basic< View, shared >::Basic | ( | Space & | home, | |
bool | share, | |||
Basic< View, shared > & | p | |||
) | [inline, protected] |
template<class View , bool shared>
Gecode::Int::Extensional::Basic< View, shared >::Basic | ( | Home | home, | |
ViewArray< View > & | x, | |||
const TupleSet & | t | |||
) | [inline, protected] |
Member Function Documentation
template<class View , bool shared>
ExecStatus Gecode::Int::Extensional::Basic< View, shared >::propagate | ( | Space & | home, | |
const ModEventDelta & | med | |||
) | [inline, virtual] |
template<class View , bool shared>
PropCost Gecode::Int::Extensional::Basic< View, shared >::cost | ( | const Space & | home, | |
const ModEventDelta & | med | |||
) | const [inline, virtual] |
Cost function.
If in stage for naive value propagation, the cost is high quadratic. Otherwise it is high cubic.
Reimplemented from Gecode::Int::Extensional::Base< View >.
template<class View , bool shared>
Actor * Gecode::Int::Extensional::Basic< View, shared >::copy | ( | Space & | home, | |
bool | share | |||
) | [inline, virtual] |
template<class View , bool shared>
ExecStatus Gecode::Int::Extensional::Basic< View, shared >::post | ( | Home | home, | |
ViewArray< View > & | x, | |||
const TupleSet & | t | |||
) | [inline, static] |
The documentation for this class was generated from the following files:
- gecode/int/extensional.hh (Revision: 11192)
- gecode/int/extensional/basic.hpp (Revision: 11192)