Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Edge Class Reference

#include <extensional.hh>

List of all members.

Public Member Functions
	Edge (StateIdx i, StateIdx o, Edge *n)
Static Public Member Functions
static void	operator delete (void *p, size_t s)
	No-op (for exceptions).
static void	operator delete (void *p, Space &home)
	No-op (for exceptions).
static void *	operator new (size_t s, Space &home)
	Allocate from space.
Public Attributes
StateIdx	i_state
	Number of in-state.
StateIdx	o_state
	Number of out-state.
Edge *	next
	Next edge in support list Construct new edge.

---

Detailed Description

template<class View, class Degree, class StateIdx>
class Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Edge

Definition at line 78 of file extensional.hh.

---

Constructor & Destructor Documentation

template<class View , class Degree , class StateIdx >

Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Edge::Edge	(	StateIdx	i,
		StateIdx	o,
		Edge *	n
	)			[inline]

Definition at line 45 of file layered-graph.hpp.

---

Member Function Documentation

template<class View , class Degree , class StateIdx >

void Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Edge::operator delete	(	void *	p,
		size_t	s
	)			[inline, static]

No-op (for exceptions).

Definition at line 49 of file layered-graph.hpp.

template<class View , class Degree , class StateIdx >

void Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Edge::operator delete	(	void *	p,
		Space &	home
	)			[inline, static]

No-op (for exceptions).

Definition at line 54 of file layered-graph.hpp.

template<class View , class Degree , class StateIdx >

void * Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Edge::operator new	(	size_t	s,
		Space &	home
	)			[inline, static]

Allocate from space.

Definition at line 59 of file layered-graph.hpp.

---

Member Data Documentation

template<class View, class Degree, class StateIdx>

StateIdx Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Edge::i_state

Number of in-state.

Definition at line 80 of file extensional.hh.

template<class View, class Degree, class StateIdx>

StateIdx Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Edge::o_state

Number of out-state.

Definition at line 81 of file extensional.hh.

template<class View, class Degree, class StateIdx>

Edge* Gecode::Int::Extensional::LayeredGraph< View, Degree, StateIdx >::Edge::next

Next edge in support list Construct new edge.

Definition at line 82 of file extensional.hh.

---

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

• gecode/int/extensional.hh (Revision: 8139)
• gecode/int/extensional/layered-graph.hpp (Revision: 8564)