#include <gecode/int.hh>#include <gecode/int/rel.hh>#include <gecode/int/extensional/layered-graph.hpp>#include <gecode/int/extensional/base.hpp>#include <gecode/int/extensional/basic.hpp>#include <gecode/int/extensional/incremental.hpp>Go to the source code of this file.
Classes | |
| class | Gecode::Int::Extensional::LayeredGraph |
| Domain consistent layered graph (regular) propagator. More... | |
| class | Gecode::Int::Extensional::LayeredGraph::State |
| States are described by number of incoming and outgoing edges. More... | |
| class | Gecode::Int::Extensional::LayeredGraph::Edge |
| Edge defined by in-state and out-state More... | |
| class | Gecode::Int::Extensional::LayeredGraph::Support |
| Support information for a value More... | |
| class | Gecode::Int::Extensional::LayeredGraph::Layer |
| Layer for a view in the layered graph More... | |
| class | Gecode::Int::Extensional::LayeredGraph::LayerValues |
| Iterator for telling variable domains by scanning support. More... | |
| class | Gecode::Int::Extensional::LayeredGraph::Index |
| Advisors for views (by position in array) More... | |
| class | Gecode::Int::Extensional::LayeredGraph::IndexRange |
| Range approximation of which positions have changed. More... | |
| class | Gecode::Int::Extensional::Base |
| Base for domain consistent extensional propagation More... | |
| class | Gecode::Int::Extensional::Basic |
| Domain consistent extensional propagator. More... | |
| class | Gecode::Int::Extensional::Incremental |
| Domain consistent extensional propagator. More... | |
| class | Gecode::Int::Extensional::Incremental::SupportEntry |
| Entry for storing support. More... | |
| class | Gecode::Int::Extensional::Incremental::WorkEntry |
| Description of work to be done. More... | |
| class | Gecode::Int::Extensional::Incremental::Work |
| Work stack More... | |
| class | Gecode::Int::Extensional::Incremental::SupportAdvisor |
| Advisor for computing support. More... | |
Namespaces | |
| namespace | Gecode::Int::Extensional |
Extensional propagators | |
| namespace | Gecode |
Gecode toplevel namespace | |
| namespace | Gecode::Int |
Finite domain integers. | |
Typedefs | |
| typedef TupleSet::Tuple | Gecode::Int::Extensional::Tuple |
| typedef Support::BitSetBase | Gecode::Int::Extensional::BitSet |
| typedef Support::BitSetBase * | Gecode::Int::Extensional::Domain |
Functions | |
| template<class Var > | |
| ExecStatus | Gecode::Int::Extensional::post_lgp (Home home, const VarArgArray< Var > &x, const DFA &dfa) |
| Select small types for the layered graph propagator. | |