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

enum Gecode::Int::Sequence::TakesStatus

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.