|
void | init (Space &home, ViewArray< View > &x, Val s, int i, int q) |
| Initialize. More...
|
|
void | update (Space &home, bool share, ViewValSupport< View, Val, iss > &vvs, int n0) |
| Update. More...
|
|
ExecStatus | advise (Space &home, ViewArray< View > &a, Val s, int i, int q, int j, const Delta &d) |
| Advise. More...
|
|
ExecStatus | propagate (Space &home, ViewArray< View > &a, Val s, int i, int q, int l, int u) |
| Propagate. More...
|
|
bool | violated (int j, int q, int l, int u) const |
| Return true if sequence j has been violated. More...
|
|
bool | retired (void) const |
| Check if retired. More...
|
|
template<class View, class Val, bool iss>
class Gecode::Int::Sequence::ViewValSupport< View, Val, iss >
Class for view value support structure.
Definition at line 85 of file view.hpp.