|
| Idx (Space &home, Propagator &p, Council< Idx > &c, int i) |
| Constructor for creation. More...
|
|
| Idx (Space &home, bool share, Idx &a) |
| Constructor for cloning a. More...
|
|
void | mark (void) |
| Mark advisor as modified. More...
|
|
void | unmark (void) |
| Mark advisor as unmodified. More...
|
|
bool | marked (void) const |
| Whether advisor's view has been marked. More...
|
|
int | idx (void) const |
| Get index of view. More...
|
|
template<class A > |
| Advisor (Space &home, Propagator &p, Council< A > &c) |
| Constructor for creation. More...
|
|
| Advisor (Space &home, bool share, Advisor &a) |
| Copying constructor. More...
|
|
const ViewTraceInfo & | operator() (const Space &home) const |
| Provide access to view trace information. More...
|
|
template<class A > |
void | dispose (Space &home, Council< A > &c) |
| Dispose the advisor. More...
|
|
template<class View>
class Gecode::CHB::Recorder< View >::Idx
Advisor with index and change information.
Definition at line 156 of file chb.hpp.