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