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