
#include <gecode/int.hh>#include <gecode/int/gcc/view.hpp>#include <gecode/int/gcc/bnd-sup.hpp>#include <gecode/int/gcc/dom-sup.hpp>#include <gecode/int/gcc/post.hpp>#include <gecode/int/gcc/val.hpp>#include <gecode/int/gcc/bnd.hpp>#include <gecode/int/gcc/dom.hpp>Go to the source code of this file.
Classes | |
| class | Gecode::Int::GCC::Val< Card > |
| Value consistent global cardinality propagator. More... | |
| class | Gecode::Int::GCC::Bnd< Card > |
| Bounds consistent global cardinality propagator. More... | |
| class | Gecode::Int::GCC::Dom< Card > |
| Domain consistent global cardinality propagator. More... | |
Namespaces | |
| Gecode::Int::GCC | |
| Global cardinality propagators (Counting) | |
| Gecode | |
| Gecode toplevel namespace | |
| Gecode::Int | |
| Finite domain integers. | |