Advisors for views (by position in array) More...
#include <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. | |
Public Attributes | |
int | i |
The position of the view in the view array. |
Advisors for views (by position in array)
Definition at line 123 of file extensional.hh.
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Index::Index | ( | Space & | home, |
Propagator & | p, | ||
Council< Index > & | c, | ||
int | i | ||
) | [inline] |
Create index advisor.
Definition at line 163 of file layered-graph.hpp.
Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Index::Index | ( | Space & | home, |
bool | share, | ||
Index & | a | ||
) | [inline] |
Clone index advisor a.
Definition at line 170 of file layered-graph.hpp.
int Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Index::i |
The position of the view in the view array.
Definition at line 126 of file extensional.hh.