Generated on Wed Nov 1 15:05:17 2006 for Gecode by doxygen 1.4.5
Gecode::Int::Channel

Gecode::Int::Channel Namespace Reference

Detailed Description

Channel propagators


Classes

class  DomInfo
 Combine view with information for domain propagation. More...
class  ProcessStack
 A simple integer stack for tracking which views are assigned. 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...

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)

Function Documentation

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

Definition at line 123 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
) 
 

Definition at line 108 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 162 of file val.icc.