Generated on Sat Feb 7 2015 02:01:49 for Gecode by doxygen 1.8.9.1
Gecode::Int::Sequence Namespace Reference

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...
 

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 41 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 50 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 59 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 76 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 82 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 93 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 99 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 110 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 116 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 127 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 133 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 141 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 147 of file set-op.hpp.