Gecode::Int::Channel Namespace Reference

---

Detailed Description

Channel propagators

Classes
class	DomInfo
	Combine view with information for domain propagation. More...
class	BoolIter
	Iterates the values to be removed as defined by an array of Boolean views. More...
class	ValInfo
	Combine view with information for value propagation. More...
class	Base
	Base-class for channel propagators. More...
class	Val
	Naive channel propagator. More...
class	Dom
	Domain consistent channel propagator. More...
class	LinkSingle
	Link propagator for a single Boolean view. More...
class	LinkMulti
	Link propagator for multiple Boolean views. More...
Typedefs
typedef Support::SentinelStack < int >	ProcessStack
	Processing stack.
Functions
template<class View>
ExecStatus	prop_dom (Space *home, int n, DomInfo< View > *x, DomInfo< View > *y, ProcessStack &ya)
template<class View, class Info>
ExecStatus	doprop_val (Space *home, int n, Info *x, Info *y, int &n_na, ProcessStack &xa, ProcessStack &ya)
template<class View, class Info>
ExecStatus	prop_val (Space *home, int n, Info *x, Info *y, int &n_na, ProcessStack &xa, ProcessStack &ya)

---

Typedef Documentation

typedef Support::SentinelStack<int> Gecode::Int::Channel::ProcessStack

Processing stack.

Definition at line 52 of file channel.hh.

---

Function Documentation

template<class View>

ExecStatus Gecode::Int::Channel::prop_dom	(	Space *	home,
		int	n,
		DomInfo< View > *	x,
		DomInfo< View > *	y,
		ProcessStack &	ya
	)			[inline]

Definition at line 137 of file dom.icc.

template<class View, class Info>

ExecStatus Gecode::Int::Channel::doprop_val	(	Space *	home,
		int	n,
		Info *	x,
		Info *	y,
		int &	n_na,
		ProcessStack &	xa,
		ProcessStack &	ya
	)			[inline]

Definition at line 122 of file val.icc.

template<class View, class Info>

ExecStatus Gecode::Int::Channel::prop_val	(	Space *	home,
		int	n,
		Info *	x,
		Info *	y,
		int &	n_na,
		ProcessStack &	xa,
		ProcessStack &	ya
	)			[inline]

Definition at line 178 of file val.icc.