Classes |
| class | Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx > |
| | Domain consistent layered graph (regular) propagator. More...
|
| class | Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::State |
| | States are described by number of incoming and outgoing edges. More...
|
| class | Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Edge |
| | Edge defined by in-state and out-state More...
|
| class | Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Support |
| | Support information for a value More...
|
| class | Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Layer |
| | Layer for a view in the layered graph More...
|
| class | Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::LayerValues |
| | Iterator for telling variable domains by scanning support. More...
|
| class | Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::Index |
| | Advisors for views (by position in array) More...
|
| class | Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::IndexRange |
| | Range approximation of which positions have changed. More...
|
| class | Gecode::Int::Extensional::Base< View, subscribe > |
| | Base for domain consistent extensional propagation More...
|
| class | Gecode::Int::Extensional::Basic< View, shared > |
| | Domain consistent extensional propagator. More...
|
| class | Gecode::Int::Extensional::Incremental< View > |
| | Domain consistent extensional propagator. More...
|
| class | Gecode::Int::Extensional::Incremental< View >::SupportEntry |
| | Entry for storing support. More...
|
| class | Gecode::Int::Extensional::Incremental< View >::WorkEntry |
| | Description of work to be done. More...
|
| class | Gecode::Int::Extensional::Incremental< View >::Work |
| | Work stack 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.
|
