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 79 of file dom.icc.
Public Member Functions | |
| LayeredGraph (ViewArray< View > x, const DFA &d) | |
| Construct layered graph. | |
| ~LayeredGraph (void) | |
| Release layered graph. | |
| ExecStatus | prune_initial (Space *home, ViewArray< View > x) |
| Prune initially for view sequence x. | |
| ExecStatus | prune (Space *home, ViewArray< View > x) |
| Prune incrementally for view sequence x. | |
| size_t | size (void) const |
| Return memory required for layered graph. | |
Static Public Member Functions | |
| static void * | operator new (size_t, int) |
| static void | operator delete (void *) |
| static void | operator delete (void *, int) |
Constructor & Destructor Documentation
template<class View>
template<class View>
| Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::LayeredGraph | ( | ViewArray< View > | x, | |
| const DFA & | d | |||
| ) | [inline] |
template<class View>
template<class View>
| Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::~LayeredGraph | ( | void | ) | [inline] |
Member Function Documentation
template<class View>
template<class View>
| ExecStatus Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::prune_initial | ( | Space * | home, | |
| ViewArray< View > | x | |||
| ) | [inline] |
template<class View>
template<class View>
| ExecStatus Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::prune | ( | Space * | home, | |
| ViewArray< View > | x | |||
| ) | [inline] |
template<class View>
template<class View>
| size_t Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::size | ( | void | ) | const [inline] |
template<class View>
template<class View>
| void * Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::operator new | ( | size_t | , | |
| int | ||||
| ) | [inline, static] |
template<class View>
template<class View>
| void Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::operator delete | ( | void * | ) | [inline, static] |
template<class View>
template<class View>
| void Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::operator delete | ( | void * | , | |
| int | ||||
| ) | [inline, static] |
The documentation for this class was generated from the following file:
- gecode/int/regular/dom.icc (Revision: 3512)