|
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::TinyBitSet< _size > |
| Tiny bit-set. 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 > |
| Base class for compact table propagator. More...
|
|
class | Gecode::Int::Extensional::Compact< View >::CTAdvisor |
| Advisor for updating current table. More...
|
|
class | Gecode::Int::Extensional::Compact< View >::Status |
| Status management. More...
|
|
class | Gecode::Int::Extensional::Compact< View >::ValidSupports |
| Iterator over valid supports. More...
|
|
class | Gecode::Int::Extensional::Compact< View >::LostSupports |
| Iterator over lost supports. More...
|
|
class | Gecode::Int::Extensional::CompactTable< View, Table > |
| Domain consistent extensional propagator. More...
|
|