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)