Generated on Sat Aug 25 2012 15:53:05 for Gecode by doxygen 1.7.5
int.hh File Reference

(Revision: 11973)

Go to the source code of this file.

Classes

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::ChannelBool::IndexAdvisor
 Advisor storing a single index More...
class  Gecode::Set::Int::Weights
 Propagator for weight of a set More...

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Set
 

Finite integer sets.


namespace  Gecode::Set::Int
 

Propagators connecting set and int variables.