Gecode::Int::Extensional::Edge Class Reference

List of all members.

---

Detailed Description

Edge in the layered graph

Definition at line 55 of file layered-graph.icc.

Public Member Functions
	Edge (State &i, State &o, Edge *n)
Static Public Member Functions
static void	operator delete (void *, size_t)
static void	operator delete (void *, Space *)
static void *	operator new (size_t, Space *)
Public Attributes
State *	i_state
	Pointer to in-state.
State *	o_state
	Pointer to out-state.
Edge *	next
	Next edge in support list Construct new edge and increment states.

---

Constructor & Destructor Documentation

Gecode::Int::Extensional::Edge::Edge	(	State &	i,
		State &	o,
		Edge *	n
	)			[inline]

Definition at line 68 of file layered-graph.icc.

---

Member Function Documentation

void Gecode::Int::Extensional::Edge::operator delete	(	void *	,
		size_t
	)			[inline, static]

Definition at line 73 of file layered-graph.icc.

void Gecode::Int::Extensional::Edge::operator delete	(	void *	,
		Space *
	)			[inline, static]

Definition at line 75 of file layered-graph.icc.

void * Gecode::Int::Extensional::Edge::operator new	(	size_t	s,
		Space *	home
	)			[inline, static]

Definition at line 77 of file layered-graph.icc.

---

Member Data Documentation

State* Gecode::Int::Extensional::Edge::i_state

Pointer to in-state.

Definition at line 57 of file layered-graph.icc.

State* Gecode::Int::Extensional::Edge::o_state

Pointer to out-state.

Definition at line 58 of file layered-graph.icc.

Edge* Gecode::Int::Extensional::Edge::next

Next edge in support list Construct new edge and increment states.

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

---

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

• gecode/int/extensional/layered-graph.icc (Revision: 6262)