|
| 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::BitSet< IndexType > |
| | Bit-set. More...
|
| |
| class | Gecode::Int::Extensional::TinyBitSet< _size > |
| | Tiny bit-set. More...
|
| |
| class | Gecode::Int::Extensional::Compact< View, pos > |
| | Base class for compact table propagator. More...
|
| |
| class | Gecode::Int::Extensional::Compact< View, pos >::CTAdvisor |
| | Advisor for updating current table. More...
|
| |
| class | Gecode::Int::Extensional::Compact< View, pos >::ValidSupports |
| | Iterator over valid supports. More...
|
| |
| class | Gecode::Int::Extensional::Compact< View, pos >::LostSupports |
| | Iterator over lost supports. More...
|
| |
| class | Gecode::Int::Extensional::PosCompact< View, Table > |
| | Domain consistent positive extensional propagator. More...
|
| |
| class | Gecode::Int::Extensional::PosCompact< View, Table >::Status |
| | Status management. More...
|
| |
| class | Gecode::Int::Extensional::NegCompact< View, Table > |
| | Domain consistent negative extensional propagator. More...
|
| |
| class | Gecode::Int::Extensional::ReCompact< View, Table, CtrlView, rm > |
| | Domain consistent reified extensional propagator. More...
|
| |
|
| 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.
|
| |
| template<class View> |
| ExecStatus | Gecode::Int::Extensional::postposcompact (Home home, ViewArray< View > &x, const TupleSet &ts) |
| | Post function for positive compact table propagator.
|
| |
| template<class View> |
| ExecStatus | Gecode::Int::Extensional::postnegcompact (Home home, ViewArray< View > &x, const TupleSet &ts) |
| | Post function for compact table propagator.
|
| |
| template<class View, class CtrlView, ReifyMode rm> |
| ExecStatus | Gecode::Int::Extensional::postrecompact (Home home, ViewArray< View > &x, const TupleSet &ts, CtrlView b) |
| | Post function for compact table propagator.
|
| |