Generated on Thu Feb 14 2013 20:59:49 for Gecode by doxygen 1.8.3.1
int.hh File Reference

(Revision: 11973)

Go to the source code of this file.

Classes

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 >
 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 >
 Reified propagator for maximum element More...
 
class  Gecode::Set::Int::Card< View >
 Propagator for cardinality More...
 
class  Gecode::Set::Int::Match< View >
 Propagator for the match constraint More...
 
class  Gecode::Set::Int::ChannelInt< View >
 Propagator for channelling between variable-value-dual models More...
 
class  Gecode::Set::Int::ChannelBool< View >
 Propagator for channelling between set variable and its characteristic function More...
 
class  Gecode::Set::Int::ChannelBool< View >::IndexAdvisor
 Advisor storing a single index More...
 
class  Gecode::Set::Int::Weights< View >
 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.