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