Generated on Wed Jan 4 17:49:22 2006 for Gecode by doxygen 1.4.6

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.

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]
 

Construct layered graph.

Definition at line 230 of file dom.icc.

template<class View>
template<class View>
Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::~LayeredGraph void   )  [inline]
 

Release layered graph.

Definition at line 436 of file dom.icc.


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]
 

Prune initially for view sequence x.

Definition at line 287 of file dom.icc.

template<class View>
template<class View>
ExecStatus Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::prune Space home,
ViewArray< View >  x
[inline]
 

Prune incrementally for view sequence x.

Definition at line 330 of file dom.icc.

template<class View>
template<class View>
size_t Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::size void   )  const [inline]
 

Return memory required for layered graph.

Definition at line 442 of file dom.icc.

template<class View>
template<class View>
void * Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::operator new size_t  ,
int 
[inline, static]
 

Definition at line 460 of file dom.icc.

template<class View>
template<class View>
void Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::operator delete void *   )  [inline, static]
 

Definition at line 448 of file dom.icc.

template<class View>
template<class View>
void Gecode::Int::Regular::Dom< View >::LayeredGraph< View >::operator delete void *  ,
int 
[inline, static]
 

Definition at line 454 of file dom.icc.


The documentation for this class was generated from the following file: