Generated on Tue May 22 09:41:34 2018 for Gecode by doxygen 1.6.3

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  Violations
 Simple bitsets for recording violations. More...
class  ViewValSupportArray
 An array of ViewValSupport data structures. More...
class  Sequence
 Sequence propagator for array of integers 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

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.