Generated on Tue Sep 25 2012 20:53:21 for Gecode by doxygen 1.7.5
Set propagators

Classes

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
 Propagator for element with intersection More...
class  Gecode::Set::Element::ElementUnion
 Propagator for element with union More...
class  Gecode::Set::Element::ElementUnionConst
 Propagator for element with union of constant sets More...
class  Gecode::Set::Element::ElementDisjoint
 Propagator for element with disjointness More...
class  Gecode::Set::Int::MinElement
 Propagator for minimum element More...
class  Gecode::Set::Int::NotMinElement
 Propagator for not minimum element More...
class  Gecode::Set::Int::ReMinElement
 Propagator for reified minimum element More...
class  Gecode::Set::Int::MaxElement
 Propagator for maximum element More...
class  Gecode::Set::Int::NotMaxElement
 Propagator for not maximum element More...
class  Gecode::Set::Int::ReMaxElement
 Reified propagator for maximum element More...
class  Gecode::Set::Int::Card
 Propagator for cardinality More...
class  Gecode::Set::Int::Match
 Propagator for the match constraint More...
class  Gecode::Set::Int::ChannelInt
 Propagator for channelling between variable-value-dual models More...
class  Gecode::Set::Int::ChannelBool
 Propagator for channelling between set variable and its characteristic function More...
class  Gecode::Set::Int::Weights
 Propagator for weight of a set More...
class  Gecode::Set::RelOp::SuperOfInter
 Propagator for the superset of intersection More...
class  Gecode::Set::RelOp::SubOfUnion
 Propagator for the subset of union More...
class  Gecode::Set::RelOp::Intersection
 Propagator for ternary intersection More...
class  Gecode::Set::RelOp::Union
 Propagator for ternary union More...
class  Gecode::Set::RelOp::IntersectionN
 Propagator for nary intersection More...
class  Gecode::Set::RelOp::UnionN
 Propagator for nary union More...
class  Gecode::Set::RelOp::PartitionN
 Propagator for nary partition More...
class  Gecode::Set::Rel::Subset
 Propagator for the subset constraint More...
class  Gecode::Set::Rel::NoSubset
 Propagator for the negated subset constraint More...
class  Gecode::Set::Rel::ReSubset
 Reified subset propagator More...
class  Gecode::Set::Rel::Eq
 Propagator for set equality More...
class  Gecode::Set::Rel::ReEq
 Reified equality propagator More...
class  Gecode::Set::Rel::Lq
 Propagator for set less than or equal More...
class  Gecode::Set::Rel::ReLq
 Reified propagator for set less than or equal More...
class  Gecode::Set::Rel::Distinct
 Propagator for negated equality More...
class  Gecode::Set::Rel::DistinctDoit
 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...

Detailed Description

This module contains a description of all predefined finite set propagators. They can be reused, for example, for rewriting newly defined finite set propagators into already available propagators.