Classes 
class  Gecode::Set::Channel::ChannelSorted< View > 
 Propagator for the sorted channel constraint More...

class  Gecode::Set::Channel::ChannelInt< View > 
 Propagator for channelling between variablevaluedual models More...

class  Gecode::Set::Channel::ChannelBool< View > 
 Propagator for channelling between set variable and its characteristic function More...

class  Gecode::Set::Channel::ChannelSet< View > 
 Propagator for successors/predecessors channelling More...

class  Gecode::Set::Convex::Convex 
 Propagator for the convex constraint More...

class  Gecode::Set::Convex::ConvexHull 
 Propagator for the convex hull constraint More...

class  Gecode::Set::Distinct::AtmostOne 
 Propagator for the AtMostOneIntersection constraint More...

class  Gecode::Set::Element::ElementIntersection< View, View0, View1 > 
 Propagator for element with intersection More...

class  Gecode::Set::Element::ElementUnion< View, View0, View1 > 
 Propagator for element with union More...

class  Gecode::Set::Element::ElementUnionConst< SView, RView > 
 Propagator for element with union of constant sets More...

class  Gecode::Set::Element::ElementDisjoint< SView, RView > 
 Propagator for element with disjointness More...

class  Gecode::Set::Int::MinElement< View > 
 Propagator for minimum element More...

class  Gecode::Set::Int::NotMinElement< View > 
 Propagator for not minimum element More...

class  Gecode::Set::Int::ReMinElement< View, rm > 
 Propagator for reified minimum element More...

class  Gecode::Set::Int::MaxElement< View > 
 Propagator for maximum element More...

class  Gecode::Set::Int::NotMaxElement< View > 
 Propagator for not maximum element More...

class  Gecode::Set::Int::ReMaxElement< View, rm > 
 Reified propagator for maximum element More...

class  Gecode::Set::Int::Card< View > 
 Propagator for cardinality More...

class  Gecode::Set::Int::Weights< View > 
 Propagator for weight of a set More...

class  Gecode::Set::RelOp::SuperOfInter< View0, View1, View2 > 
 Propagator for the superset of intersection More...

class  Gecode::Set::RelOp::SubOfUnion< View0, View1, View2 > 
 Propagator for the subset of union More...

class  Gecode::Set::RelOp::Intersection< View0, View1, View2 > 
 Propagator for ternary intersection More...

class  Gecode::Set::RelOp::Union< View0, View1, View2 > 
 Propagator for ternary union More...

class  Gecode::Set::RelOp::IntersectionN< View0, View1 > 
 Propagator for nary intersection More...

class  Gecode::Set::RelOp::UnionN< View0, View1 > 
 Propagator for nary union More...

class  Gecode::Set::RelOp::PartitionN< View0, View1 > 
 Propagator for nary partition More...

class  Gecode::Set::Rel::Subset< View0, View1 > 
 Propagator for the subset constraint More...

class  Gecode::Set::Rel::NoSubset< View0, View1 > 
 Propagator for the negated subset constraint More...

class  Gecode::Set::Rel::ReSubset< View0, View1, CtrlView, rm > 
 Reified subset propagator More...

class  Gecode::Set::Rel::Eq< View0, View1 > 
 Propagator for set equality More...

class  Gecode::Set::Rel::ReEq< View0, View1, CtrlView, rm > 
 Reified equality propagator More...

class  Gecode::Set::Rel::Lq< View0, View1, strict > 
 Propagator for set less than or equal More...

class  Gecode::Set::Rel::ReLq< View0, View1, rm, strict > 
 Reified propagator for set less than or equal More...

class  Gecode::Set::Rel::Distinct< View0, View1 > 
 Propagator for negated equality More...

class  Gecode::Set::Rel::DistinctDoit< View0 > 
 Propagator for negated equality More...

class  Gecode::Set::Sequence::Seq 
 Propagator for the sequence constraint More...

class  Gecode::Set::Sequence::SeqU 
 Propagator for the sequenced union constraint More...
