Gecode::Int::Sequence Namespace Reference

Sequence propagators More...

## Classes

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 | Sequence
| Sequence propagator for array of integers 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.

## Detailed Description

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.

## Enumeration Type Documentation

## TakesStatus

enum Gecode::Int::Sequence::TakesStatus

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.

## Function Documentation

## takes() [1/2]

template<class View>

TakesStatus Gecode::Int::Sequence::takes | ( | const View & | x,
|  | int | s )

inline

Return whether view x takes value s.

Definition at line 46 of file set-op.hpp.

## takes() [2/2]

template<class View>

TakesStatus Gecode::Int::Sequence::takes | ( | const View & | x,
|  | const IntSet & | s )

inline

Return whether view x takes value from s.

Definition at line 55 of file set-op.hpp.

## includes() [1/2]

template<class View>

bool Gecode::Int::Sequence::includes | ( | const View & | x,
|  | int | s )

inline

Test whether all values of view x are included in s.

Definition at line 72 of file set-op.hpp.

## includes() [2/2]

template<class View>

bool Gecode::Int::Sequence::includes | ( | const View & | x,
|  | const IntSet & | s )

inline

Test whether all values of view x are included in s.

Definition at line 78 of file set-op.hpp.

## excludes() [1/2]

template<class View>

bool Gecode::Int::Sequence::excludes | ( | const View & | x,
|  | int | s )

inline

Test whether all values of view x are excluded from s.

Definition at line 89 of file set-op.hpp.

## excludes() [2/2]

template<class View>

bool Gecode::Int::Sequence::excludes | ( | const View & | x,
|  | const IntSet & | s )

inline

Test whether all values of view x are excluded from s.

Definition at line 95 of file set-op.hpp.

## undecided() [1/2]

template<class View>

bool Gecode::Int::Sequence::undecided | ( | const View & | x,
|  | int | s )

inline

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.

## undecided() [2/2]

template<class View>

bool Gecode::Int::Sequence::undecided | ( | const View & | x,
|  | const IntSet & | s )

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.

## include() [1/2]

template<class View>

ModEvent Gecode::Int::Sequence::include | ( | Space & | home,
|  | View & | x,
|  | int | s )

inline

Prune view x to only include values from s.

Definition at line 123 of file set-op.hpp.

## include() [2/2]

template<class View>

ModEvent Gecode::Int::Sequence::include | ( | Space & | home,
|  | View & | x,
|  | const IntSet & | s )

inline

Prune view x to only include values from s.

Definition at line 129 of file set-op.hpp.

## exclude() [1/2]

template<class View>

ModEvent Gecode::Int::Sequence::exclude | ( | Space & | home,
|  | View & | x,
|  | int | s )

inline

Prune view x to exclude all values from s.

Definition at line 137 of file set-op.hpp.

## exclude() [2/2]

template<class View>

ModEvent Gecode::Int::Sequence::exclude | ( | Space & | home,
|  | View & | x,
|  | const IntSet & | s )

inline

Prune view x to exclude all values from s.

Definition at line 143 of file set-op.hpp.