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: 3246)