Generated on Sat Jul 28 2018 17:21:40 for Gecode by doxygen 1.8.14
Propagator and brancher groups

Classes

class  Gecode::Group
 Group baseclass for controlling actors. More...
 
class  Gecode::PropagatorGroup
 Group of propagators. More...
 
class  Gecode::BrancherGroup
 Group of branchers. More...
 

Detailed Description