Gecode::Int::Channel::Base< Info, pc > Class Template Reference
#include <channel.hh>
Inherits Gecode::Propagator.
Detailed Description
template<class Info, PropCond pc>
class Gecode::Int::Channel::Base< Info, pc >
Base-class for channel propagators.
Definition at line 40 of file channel.hh.
Public Member Functions | |
| virtual PropCost | cost (void) const |
| Propagation cost. | |
| virtual size_t | dispose (Space *home) |
| Delete propagator and return its size. | |
Protected Member Functions | |
| Base (Space *home, bool share, Base< Info, pc > &p) | |
| Constructor for cloning p. | |
| Base (Space *home, int n, Info *xy, bool fd=false) | |
| Constructor for posting. | |
Protected Attributes | |
| int | n |
| Number of views (actually twice as many for both x and y). | |
| int | n_na |
| Total number of not assigned views (not known to be assigned). | |
| Info * | xy |
| View and information for both x and y. | |
Constructor & Destructor Documentation
|
||||||||||||||||||||
|
Constructor for cloning p.
|
|
||||||||||||||||||||||||
|
Constructor for posting.
|
Member Function Documentation
|
||||||||||
|
Propagation cost.
Implements Gecode::Propagator. Reimplemented in Gecode::Int::Channel::Dom< View >. |
|
||||||||||
|
Delete propagator and return its size.
Reimplemented from Gecode::Actor. Reimplemented in Gecode::Int::Channel::Dom< View >. |
Member Data Documentation
|
|||||
|
Number of views (actually twice as many for both x and y).
Definition at line 43 of file channel.hh. |
|
|||||
|
Total number of not assigned views (not known to be assigned).
Definition at line 45 of file channel.hh. |
|
|||||
|
View and information for both x and y.
Definition at line 47 of file channel.hh. |
The documentation for this class was generated from the following files:
- gecode/int/channel.hh (Revision: 3349)
- gecode/int/channel/base.icc (Revision: 3512)