Generated on Sat Feb 7 2015 02:01:46 for Gecode by doxygen 1.8.9.1
Gecode::Int::Channel Namespace Reference

Channel propagators More...

Classes

class  Base
 Base-class for channel propagators. More...
 
class  BoolIter
 Iterates the values to be removed as defined by an array of Boolean views. More...
 
class  Dom
 Domain consistent channel propagator. More...
 
class  DomInfo
 Combine view with information for domain propagation. More...
 
class  LinkMulti
 Link propagator for multiple Boolean views. More...
 
class  LinkSingle
 Link propagator for a single Boolean view. More...
 
class  Val
 Naive channel propagator. More...
 
class  ValInfo
 Combine view with information for value propagation. More...
 

Typedefs

typedef Support::StaticStack< int, RegionProcessStack
 Processing stack. More...
 

Functions

template<class View , class Offset >
ExecStatus prop_dom (Space &home, int n, DomInfo< View, Offset > *x, Offset &ox, DomInfo< View, Offset > *y, Offset &oy, ProcessStack &ya)
 
template<class View , class Offset , class Info >
ExecStatus doprop_val (Space &home, int n, Info *x, Offset &ox, Info *y, Offset &oy, int &n_na, ProcessStack &xa, ProcessStack &ya)
 
template<class View , class Offset , class Info >
ExecStatus prop_val (Space &home, int n, Info *x, Offset &ox, Info *y, Offset &oy, int &n_na, ProcessStack &xa, ProcessStack &ya)
 

Detailed Description

Channel propagators

Typedef Documentation

Processing stack.

Definition at line 52 of file channel.hh.

Function Documentation

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

Definition at line 133 of file dom.hpp.

template<class View , class Offset , class Info >
ExecStatus Gecode::Int::Channel::doprop_val ( Space home,
int  n,
Info *  x,
Offset ox,
Info *  y,
Offset oy,
int &  n_na,
ProcessStack xa,
ProcessStack ya 
)

Definition at line 113 of file val.hpp.

template<class View , class Offset , class Info >
ExecStatus Gecode::Int::Channel::prop_val ( Space home,
int  n,
Info *  x,
Offset ox,
Info *  y,
Offset oy,
int &  n_na,
ProcessStack xa,
ProcessStack ya 
)
inline

Definition at line 173 of file val.hpp.