Generated on Wed Mar 19 07:30:09 2008 for Gecode by doxygen 1.5.5

Gecode::Int::Circuit Namespace Reference


Detailed Description

Circuit propagators


Classes

class  SsccInfo
 Information required for non-recursive checking for a single scc. More...
class  TellInfo
 Information for performing a recorded tell. More...
class  Base
 Base-class for circuit propagator. More...
class  Val
 "Value-consistent" circuit propagator More...
class  Dom
 "Domain-consistent" circuit propagator More...