Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
set-op.hpp File Reference

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.