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