Gecode::IntSetPropagator< View, pcs, pci > Class Template Reference
[Patterns for set propagators]
Inherits Gecode::Propagator.
Detailed Description
template<class View, PropCond pcs, PropCond pci>
class Gecode::IntSetPropagator< View, pcs, pci >
Set/Int connection propagator.
Stores single view of type View with propagation condition pcs and an integer variable with propagation condition pci.
Definition at line 58 of file propagator.icc.
Public Member Functions | |
| virtual PropCost | cost (ModEventDelta med) const |
| Cost function (defined as PC_BINARY_LO). | |
| virtual size_t | dispose (Space *home) |
| Delete propagator and return its size. | |
| Reflection::ActorSpec | spec (const Space *home, Reflection::VarMap &m, const Support::Symbol &name) const |
| Return specification given a variable map m and a name. | |
Protected Member Functions | |
| IntSetPropagator (Space *home, bool, IntSetPropagator &) | |
| Constructor for cloning. | |
| IntSetPropagator (Space *home, View, Gecode::Int::IntView) | |
| Constructor for creation. | |
Protected Attributes | |
| View | x0 |
| Gecode::Int::IntView | x1 |
Constructor & Destructor Documentation
template<class View, PropCond pcs, PropCond pci>
| Gecode::IntSetPropagator< View, pcs, pci >::IntSetPropagator | ( | Space * | home, | |
| bool | share, | |||
| IntSetPropagator< View, pcs, pci > & | p | |||
| ) | [inline, protected] |
template<class View, PropCond pcs, PropCond pci>
| Gecode::IntSetPropagator< View, pcs, pci >::IntSetPropagator | ( | Space * | home, | |
| View | y0, | |||
| Gecode::Int::IntView | y1 | |||
| ) | [inline, protected] |
Member Function Documentation
template<class View, PropCond pcs, PropCond pci>
| PropCost Gecode::IntSetPropagator< View, pcs, pci >::cost | ( | ModEventDelta | med | ) | const [inline, virtual] |
Cost function (defined as PC_BINARY_LO).
Implements Gecode::Propagator.
Definition at line 97 of file propagator.icc.
template<class View, PropCond pcs, PropCond pci>
| size_t Gecode::IntSetPropagator< View, pcs, pci >::dispose | ( | Space * | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Definition at line 103 of file propagator.icc.
template<class View, PropCond pcs, PropCond pci>
| Reflection::ActorSpec Gecode::IntSetPropagator< View, pcs, pci >::spec | ( | const Space * | home, | |
| Reflection::VarMap & | m, | |||
| const Support::Symbol & | name | |||
| ) | const [inline] |
Return specification given a variable map m and a name.
Definition at line 114 of file propagator.icc.
Member Data Documentation
template<class View, PropCond pcs, PropCond pci>
View Gecode::IntSetPropagator< View, pcs, pci >::x0 [protected] |
Definition at line 60 of file propagator.icc.
template<class View, PropCond pcs, PropCond pci>
Gecode::Int::IntView Gecode::IntSetPropagator< View, pcs, pci >::x1 [protected] |
Definition at line 61 of file propagator.icc.
The documentation for this class was generated from the following file:
- gecode/set/propagator.icc (Revision: 5993)