Generated on Thu Apr 11 14:00:10 2019 for Gecode by doxygen 1.6.3

Gecode::Set::Element Namespace Reference

Set element propagators More...

Classes

class  ElementIntersection
 Propagator for element with intersection More...
class  ElementUnion
 Propagator for element with union More...
class  ElementUnionConst
 Propagator for element with union of constant sets More...
class  ElementDisjoint
 Propagator for element with disjointness More...

Detailed Description

Set element propagators