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. | |
template<class View> | |
TakesStatus | takes (const View &x, const IntSet &s) |
Return whether view x takes value from s. | |
template<class View> | |
bool | includes (const View &x, int s) |
Test whether all values of view x are included in s. | |
template<class View> | |
bool | includes (const View &x, const IntSet &s) |
Test whether all values of view x are included in s. | |
template<class View> | |
bool | excludes (const View &x, int s) |
Test whether all values of view x are excluded from s. | |
template<class View> | |
bool | excludes (const View &x, const IntSet &s) |
Test whether all values of view x are excluded from s. | |
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. | |
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. | |
template<class View> | |
ModEvent | include (Space &home, View &x, int s) |
Prune view x to only include values from s. | |
template<class View> | |
ModEvent | include (Space &home, View &x, const IntSet &s) |
Prune view x to only include values from s. | |
template<class View> | |
ModEvent | exclude (Space &home, View &x, int s) |
Prune view x to exclude all values from s. | |
template<class View> | |
ModEvent | exclude (Space &home, View &x, const IntSet &s) |
Prune view x to exclude all values from s. |
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 37 of file set-op.hpp.
|
inline |
Return whether view x takes value s.
Definition at line 46 of file set-op.hpp.
|
inline |
Return whether view x takes value from s.
Definition at line 55 of file set-op.hpp.
Test whether all values of view x are included in s.
Definition at line 72 of file set-op.hpp.
|
inline |
Test whether all values of view x are included in s.
Definition at line 78 of file set-op.hpp.
Test whether all values of view x are excluded from s.
Definition at line 89 of file set-op.hpp.
|
inline |
Test whether all values of view x are excluded from s.
Definition at line 95 of file set-op.hpp.
Test whether no decision on inclusion or exclusion of values of view x in s can be made.
Definition at line 106 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 112 of file set-op.hpp.
|
inline |
Prune view x to only include values from s.
Definition at line 123 of file set-op.hpp.
|
inline |
Prune view x to only include values from s.
Definition at line 129 of file set-op.hpp.
|
inline |
Prune view x to exclude all values from s.
Definition at line 137 of file set-op.hpp.