Generated on Sat Feb 7 2015 02:01:34 for Gecode by doxygen 1.8.9.1
set-op.hpp File Reference

(Revision: 10359)

Go to the source code of this file.

Namespaces

 Gecode
 Gecode toplevel namespace
 
 Gecode::Int
 Finite domain integers.
 
 Gecode::Int::Sequence
 Sequence propagators
 

Enumerations

enum  Gecode::Int::Sequence::TakesStatus { Gecode::Int::Sequence::TS_NO, Gecode::Int::Sequence::TS_YES, Gecode::Int::Sequence::TS_MAYBE }
 Status of whether a view takes a value from a set. More...
 

Functions

template<class View >
TakesStatus Gecode::Int::Sequence::takes (const View &x, int s)
 Return whether view x takes value s. More...
 
template<class View >
TakesStatus Gecode::Int::Sequence::takes (const View &x, const IntSet &s)
 Return whether view x takes value from s. More...
 
template<class View >
bool Gecode::Int::Sequence::includes (const View &x, int s)
 Test whether all values of view x are included in s. More...
 
template<class View >
bool Gecode::Int::Sequence::includes (const View &x, const IntSet &s)
 Test whether all values of view x are included in s. More...
 
template<class View >
bool Gecode::Int::Sequence::excludes (const View &x, int s)
 Test whether all values of view x are excluded from s. More...
 
template<class View >
bool Gecode::Int::Sequence::excludes (const View &x, const IntSet &s)
 Test whether all values of view x are excluded from s. More...
 
template<class View >
bool Gecode::Int::Sequence::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 Gecode::Int::Sequence::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 Gecode::Int::Sequence::include (Space &home, View &x, int s)
 Prune view x to only include values from s. More...
 
template<class View >
ModEvent Gecode::Int::Sequence::include (Space &home, View &x, const IntSet &s)
 Prune view x to only include values from s. More...
 
template<class View >
ModEvent Gecode::Int::Sequence::exclude (Space &home, View &x, int s)
 Prune view x to exclude all values from s. More...
 
template<class View >
ModEvent Gecode::Int::Sequence::exclude (Space &home, View &x, const IntSet &s)
 Prune view x to exclude all values from s. More...