Generated on Sat Jul 29 2017 12:41:24 for Gecode by doxygen 1.8.13
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