Generated on Thu Mar 22 10:39:47 2012 for Gecode by doxygen 1.6.3

set-op.hpp File Reference

(Revision: 10359)

Go to the source code of this file.

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.


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