|
template<class View > |
TakesStatus | Gecode::Int::Sequence::takes (const View &x, int s) |
| Return whether view x takes value s.
|
|
template<class View > |
TakesStatus | Gecode::Int::Sequence::takes (const View &x, const IntSet &s) |
| Return whether view x takes value from s.
|
|
template<class View > |
bool | Gecode::Int::Sequence::includes (const View &x, int s) |
| Test whether all values of view x are included in s.
|
|
template<class View > |
bool | Gecode::Int::Sequence::includes (const View &x, const IntSet &s) |
| Test whether all values of view x are included in s.
|
|
template<class View > |
bool | Gecode::Int::Sequence::excludes (const View &x, int s) |
| Test whether all values of view x are excluded from s.
|
|
template<class View > |
bool | Gecode::Int::Sequence::excludes (const View &x, const IntSet &s) |
| Test whether all values of view x are excluded from s.
|
|
template<class View > |
bool | Gecode::Int::Sequence::undecided (const View &x, int s) |
| Test whether no decision on inclusion or exclusion of values of view x in s can be made.
|
|
template<class View > |
bool | Gecode::Int::Sequence::undecided (const View &x, const IntSet &s) |
| Test whether no decision on inclusion or exclusion of values of view x in s can be made.
|
|
template<class View > |
ModEvent | Gecode::Int::Sequence::include (Space &home, View &x, int s) |
| Prune view x to only include values from s.
|
|
template<class View > |
ModEvent | Gecode::Int::Sequence::include (Space &home, View &x, const IntSet &s) |
| Prune view x to only include values from s.
|
|
template<class View > |
ModEvent | Gecode::Int::Sequence::exclude (Space &home, View &x, int s) |
| Prune view x to exclude all values from s.
|
|
template<class View > |
ModEvent | Gecode::Int::Sequence::exclude (Space &home, View &x, const IntSet &s) |
| Prune view x to exclude all values from s.
|
|