int.hh File Reference
(Revision: 11973)
#include <gecode/set.hh>
#include <gecode/set/int/minmax.hpp>
#include <gecode/set/int/card.hpp>
#include <gecode/set/int/match.hpp>
#include <gecode/set/int/channel-int.hpp>
#include <gecode/set/int/channel-bool.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 > |
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. |