
Sequence propagators More...
Classes | |
| class | Sequence |
| Sequence propagator for array of integers More... | |
| class | SupportAdvisor |
| Class for advising the propagator. More... | |
| class | ViewValSupport |
| Class for view value support structure. More... | |
| class | ViewValSupportArray |
| An array of ViewValSupport data structures. More... | |
| class | Violations |
| Simple bitsets for recording violations. More... | |
Enumerations | |
| enum | TakesStatus { TS_NO, TS_YES, TS_MAYBE } |
| Status of whether a view takes a value from a set. More... | |
Functions | |
| template<class View > | |
| TakesStatus | takes (const View &x, int s) |
| Return whether view x takes value s. More... | |
| template<class View > | |
| TakesStatus | takes (const View &x, const IntSet &s) |
| Return whether view x takes value from s. More... | |
| template<class View > | |
| bool | includes (const View &x, int s) |
| Test whether all values of view x are included in s. More... | |
| template<class View > | |
| bool | includes (const View &x, const IntSet &s) |
| Test whether all values of view x are included in s. More... | |
| template<class View > | |
| bool | excludes (const View &x, int s) |
| Test whether all values of view x are excluded from s. More... | |
| template<class View > | |
| bool | excludes (const View &x, const IntSet &s) |
| Test whether all values of view x are excluded from s. More... | |
| template<class View > | |
| bool | undecided (const View &x, int s) |
| Test whether no decision on inclusion or exclusion of values of view x in s can be made. More... | |
| template<class View > | |
| bool | 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. More... | |
| template<class View > | |
| ModEvent | include (Space &home, View &x, int s) |
| Prune view x to only include values from s. More... | |
| template<class View > | |
| ModEvent | include (Space &home, View &x, const IntSet &s) |
| Prune view x to only include values from s. More... | |
| template<class View > | |
| ModEvent | exclude (Space &home, View &x, int s) |
| Prune view x to exclude all values from s. More... | |
| template<class View > | |
| ModEvent | exclude (Space &home, View &x, const IntSet &s) |
| Prune view x to exclude all values from s. More... | |
Sequence propagators
This namespace contains a propagator for the cumulatives constraint as presented in Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, and Ashish Sabharwal, New filtering algorithms for combinations of among constraints. Constraints, 14(2), 273-292, 2009.
Status of whether a view takes a value from a set.
| Enumerator | |
|---|---|
| TS_NO |
Definitely not. |
| TS_YES |
Definitely yes. |
| TS_MAYBE |
Maybe or maybe not. |
Definition at line 41 of file set-op.hpp.
|
inline |
Return whether view x takes value s.
Definition at line 50 of file set-op.hpp.
|
inline |
Return whether view x takes value from s.
Definition at line 59 of file set-op.hpp.
|
inline |
Test whether all values of view x are included in s.
Definition at line 76 of file set-op.hpp.
|
inline |
Test whether all values of view x are included in s.
Definition at line 82 of file set-op.hpp.
|
inline |
Test whether all values of view x are excluded from s.
Definition at line 93 of file set-op.hpp.
|
inline |
Test whether all values of view x are excluded from s.
Definition at line 99 of file set-op.hpp.
|
inline |
Test whether no decision on inclusion or exclusion of values of view x in s can be made.
Definition at line 110 of file set-op.hpp.
|
inline |
Test whether no decision on inclusion or exclusion of values of view x in s can be made.
Definition at line 116 of file set-op.hpp.
|
inline |
Prune view x to only include values from s.
Definition at line 127 of file set-op.hpp.
|
inline |
Prune view x to only include values from s.
Definition at line 133 of file set-op.hpp.
|
inline |
Prune view x to exclude all values from s.
Definition at line 141 of file set-op.hpp.
|
inline |
Prune view x to exclude all values from s.
Definition at line 147 of file set-op.hpp.