Generated on Tue May 22 09:40:27 2018 for Gecode by doxygen 1.6.3

int.hh File Reference

#include <gecode/set.hh>
#include <gecode/set/int/minmax.hpp>
#include <gecode/set/int/card.hpp>
#include <gecode/set/int/weights.hpp>

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, 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...

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Set
 

Finite integer sets.


namespace  Gecode::Set::Int
 

Propagators connecting set and int variables.