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

Circuit propagators More...

Classes

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

Detailed Description

Circuit propagators