Gecode::Int::Regular::Dom< View >::LayeredGraph< View > Class Template Reference
List of all members.
Detailed Description
template<class View>
template<class View>
class Gecode::Int::Regular::Dom< View >::LayeredGraph< View >
LayeredGraph as data structure used for propagation in regular
Definition at line 128 of file dom.icc.
Constructor & Destructor Documentation
|
Construct layered graph.
Definition at line 230 of file dom.icc. |
|
Release layered graph.
Definition at line 436 of file dom.icc. |
Member Function Documentation
|
Prune initially for view sequence x.
Definition at line 287 of file dom.icc. |
|
Prune incrementally for view sequence x.
Definition at line 330 of file dom.icc. |
|
Return memory required for layered graph.
Definition at line 442 of file dom.icc. |
The documentation for this class was generated from the following file: