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