Gecode::Int::Extensional::LayeredGraph< View >::Index Class Reference
#include <extensional.hh>
Inherits Gecode::Advisor.
Detailed Description
template<class View>
class Gecode::Int::Extensional::LayeredGraph< View >::Index
Advisors for views (by position in array).
Definition at line 75 of file extensional.hh.
Public Member Functions | |
| Index (Space *home, Propagator *p, Council< Index > &c, int i) | |
| Create index advisor. | |
| Index (Space *home, bool share, Index &a) | |
| Clone index advisor a. | |
| void | dispose (Space *home, Council< Index > &c) |
| Dispose advisor. | |
Public Attributes | |
| int | i |
| The position of the view in the view array. | |
Constructor & Destructor Documentation
template<class View>
| Gecode::Int::Extensional::LayeredGraph< View >::Index::Index | ( | Space * | home, | |
| Propagator * | p, | |||
| Council< Index > & | c, | |||
| int | i | |||
| ) | [inline] |
template<class View>
| Gecode::Int::Extensional::LayeredGraph< View >::Index::Index | ( | Space * | home, | |
| bool | share, | |||
| Index & | a | |||
| ) | [inline] |
Member Function Documentation
template<class View>
| void Gecode::Int::Extensional::LayeredGraph< View >::Index::dispose | ( | Space * | home, | |
| Council< Index > & | c | |||
| ) | [inline] |
Member Data Documentation
template<class View>
| int Gecode::Int::Extensional::LayeredGraph< View >::Index::i |
The documentation for this class was generated from the following files:
- gecode/int/extensional.hh (Revision: 7285)
- gecode/int/extensional/layered-graph.icc (Revision: 6262)