Gecode::Int::Linear::SupportIter< Val > Class Template Reference
Inherited by Gecode::Int::Linear::NegSupportIter< Val >, and Gecode::Int::Linear::PosSupportIter< Val >.
Detailed Description
template<class Val>
class Gecode::Int::Linear::SupportIter< Val >
Base-class for support-based iterator.
Definition at line 88 of file int-dom.icc.
Public Member Functions | |
| void | init (int a, const IntView &x, Val l, Val u) |
| Initialize view. | |
| void | support (void) |
| Record value at current position as supported. | |
| ModEvent | tell (Space *home) |
| Tell back new variable domain according to support found. | |
| void | dispose (void) |
| Finalize memory for support set. | |
Protected Attributes | |
| int | a |
| Integer coefficient for view. | |
| IntView | x |
| Integer view. | |
| SupportSet | s |
| Set of support for values in x. | |
| int | c |
| Current value. | |
| unsigned int | p |
| Position of current value. | |
| Val | l |
| Lower bound information for value. | |
| Val | u |
| Upper bound information for value. | |
Member Function Documentation
template<class Val>
| void Gecode::Int::Linear::SupportIter< Val >::init | ( | int | a, | |
| const IntView & | x, | |||
| Val | l, | |||
| Val | u | |||
| ) | [inline] |
template<class Val>
| void Gecode::Int::Linear::SupportIter< Val >::support | ( | void | ) | [inline] |
template<class Val>
| ModEvent Gecode::Int::Linear::SupportIter< Val >::tell | ( | Space * | home | ) | [inline] |
Tell back new variable domain according to support found.
Definition at line 250 of file int-dom.icc.
template<class Val>
| void Gecode::Int::Linear::SupportIter< Val >::dispose | ( | void | ) | [inline] |
Member Data Documentation
template<class Val>
int Gecode::Int::Linear::SupportIter< Val >::a [protected] |
template<class Val>
IntView Gecode::Int::Linear::SupportIter< Val >::x [protected] |
template<class Val>
SupportSet Gecode::Int::Linear::SupportIter< Val >::s [protected] |
template<class Val>
int Gecode::Int::Linear::SupportIter< Val >::c [protected] |
template<class Val>
unsigned int Gecode::Int::Linear::SupportIter< Val >::p [protected] |
template<class Val>
Val Gecode::Int::Linear::SupportIter< Val >::l [protected] |
template<class Val>
Val Gecode::Int::Linear::SupportIter< Val >::u [protected] |
The documentation for this class was generated from the following file:
- gecode/int/linear/int-dom.icc (Revision: 7285)