Gecode::Set::Int::Weights Class Reference
[Set propagators]
#include <int.hh>
Inherits Gecode::Propagator.
Detailed Description
Propagator for weight of a setRequires
#include "gecode/set/int.hh"
Definition at line 183 of file int.hh.
Public Member Functions | |
virtual Actor * | copy (Space *home, bool) |
Copy propagator during cloning. | |
virtual PropCost | cost (void) const |
Cost function (defined as PC_LINEAR_LO). | |
virtual size_t | dispose (Space *home) |
Delete propagator and return its size. | |
virtual ExecStatus | propagate (Space *home) |
Perform propagation. | |
Static Public Member Functions | |
static ExecStatus | post (Space *home, const IntArgs &elements, const IntArgs &weights, SetView x, Gecode::Int::IntView y) |
Post propagator for ![]() | |
Protected Member Functions | |
Weights (Space *home, bool share, Weights &p) | |
Constructor for cloning p. | |
Weights (Space *home, const IntArgs &, const IntArgs &, SetView, Gecode::Int::IntView) | |
Constructor for posting. | |
Protected Attributes | |
Support::SharedArray< int > | elements |
List of elements in the upper bound. | |
Support::SharedArray< int > | weights |
Weights for the elements in the upper bound. | |
SetView | x |
The set view. | |
Gecode::Int::IntView | y |
The integer view. |
Constructor & Destructor Documentation
Gecode::Set::Int::Weights::Weights | ( | Space * | home, | |
const IntArgs & | , | |||
const IntArgs & | , | |||
SetView | , | |||
Gecode::Int::IntView | ||||
) | [inline, protected] |
Member Function Documentation
PropCost Gecode::Set::Int::Weights::cost | ( | void | ) | const [virtual] |
Cost function (defined as PC_LINEAR_LO).
Implements Gecode::Propagator.
Definition at line 39 of file weights.cc.
size_t Gecode::Set::Int::Weights::dispose | ( | Space * | home | ) | [virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Definition at line 44 of file weights.cc.
ExecStatus Gecode::Set::Int::Weights::propagate | ( | Space * | home | ) | [virtual] |
ExecStatus Gecode::Set::Int::Weights::post | ( | Space * | home, | |
const IntArgs & | elements, | |||
const IntArgs & | weights, | |||
SetView | x, | |||
Gecode::Int::IntView | y | |||
) | [inline, static] |
Member Data Documentation
Support::SharedArray<int> Gecode::Set::Int::Weights::elements [protected] |
Support::SharedArray<int> Gecode::Set::Int::Weights::weights [protected] |
SetView Gecode::Set::Int::Weights::x [protected] |
Gecode::Int::IntView Gecode::Set::Int::Weights::y [protected] |
The documentation for this class was generated from the following files:
- gecode/set/int.hh (Revision: 3246)
- gecode/set/int/weights.cc (Revision: 2407)
- gecode/set/int/weights.icc (Revision: 2407)