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.