main page modules namespaces classes files
Gecode home

search for 

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]

Construct layered graph. Definition at line 180 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 383 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 236 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 280 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 389 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 407 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 395 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 401 of file dom.icc.

---

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

• gecode/int/regular/dom.icc (Revision: 3512)