Gecode::Int::Distinct::Edge< View > Class Template Reference

Inherits Gecode::Int::Distinct::BiLink.

List of all members.

---

Detailed Description

template<class View>
class Gecode::Int::Distinct::Edge< View >

Edges in view-value graph.

Definition at line 177 of file dom.icc.

Public Member Functions
	Edge (ValNode< View > *v, ViewNode< View > *x)
	Construct new edge between x and v.
Node< View > *	dst (Node< View > *s) const
	Return destination of edge when source s is given.
ViewNode< View > *	view (ValNode< View > *v) const
	Return view node when value node v is given.
ValNode< View > *	val (ViewNode< View > *x) const
	Return value node when view node x is given.
bool	used (Node< View > *) const
void	use (void)
void	free (void)
void	revert (Node< View > *)
Edge< View > *	next_edge (void) const
Edge< View > **	next_edge_ref (void)
Edge< View > *	next (void) const
Static Public Member Functions
static void	operator delete (void *, size_t)
static void	operator delete (void *, Space *)
static void *	operator new (size_t, Space *)
Protected Attributes
Edge< View > *	_next_edge
	Next edge in chain of value edges.
CombPtrFlag< Node< View > >	sd
	Combine source and destination node anf flag.

---

Constructor & Destructor Documentation

template<class View>

Gecode::Int::Distinct::Edge< View >::Edge	(	ValNode< View > *	v,
		ViewNode< View > *	x
	)			[inline]

Construct new edge between x and v.

Definition at line 42 of file edge.icc.

---

Member Function Documentation

template<class View>

Node< View > * Gecode::Int::Distinct::Edge< View >::dst

(

Node< View > *

s

)

const [inline]

Return destination of edge when source s is given.

Definition at line 49 of file edge.icc.

template<class View>

ViewNode< View > * Gecode::Int::Distinct::Edge< View >::view

(

ValNode< View > *

v

)

const [inline]

Return view node when value node v is given.

Definition at line 62 of file edge.icc.

template<class View>

ValNode< View > * Gecode::Int::Distinct::Edge< View >::val

(

ViewNode< View > *

x

)

const [inline]

Return value node when view node x is given.

Definition at line 67 of file edge.icc.

template<class View>

bool Gecode::Int::Distinct::Edge< View >::used

(

Node< View > *

v

)

const [inline]

Definition at line 73 of file edge.icc.

template<class View>

void Gecode::Int::Distinct::Edge< View >::use

(

void

)

[inline]

Definition at line 78 of file edge.icc.

template<class View>

void Gecode::Int::Distinct::Edge< View >::free

(

void

)

[inline]

Definition at line 83 of file edge.icc.

template<class View>

void Gecode::Int::Distinct::Edge< View >::revert

(

Node< View > *

d

)

[inline]

Definition at line 55 of file edge.icc.

template<class View>

Edge< View > * Gecode::Int::Distinct::Edge< View >::next_edge

(

void

)

const [inline]

Definition at line 89 of file edge.icc.

template<class View>

Edge< View > ** Gecode::Int::Distinct::Edge< View >::next_edge_ref

(

void

)

[inline]

Definition at line 94 of file edge.icc.

template<class View>

Edge< View > * Gecode::Int::Distinct::Edge< View >::next

(

void

)

const [inline]

Reimplemented from Gecode::Int::Distinct::BiLink.

Definition at line 99 of file edge.icc.

template<class View>

void Gecode::Int::Distinct::Edge< View >::operator delete	(	void *	,
		size_t
	)			[inline, static]

Definition at line 105 of file edge.icc.

template<class View>

void Gecode::Int::Distinct::Edge< View >::operator delete	(	void *	,
		Space *
	)			[inline, static]

Definition at line 108 of file edge.icc.

template<class View>

void * Gecode::Int::Distinct::Edge< View >::operator new	(	size_t	s,
		Space *	home
	)			[inline, static]

Definition at line 111 of file edge.icc.

---

Member Data Documentation

template<class View>

Edge<View>* Gecode::Int::Distinct::Edge< View >::_next_edge [protected]

Next edge in chain of value edges.

Definition at line 180 of file dom.icc.

template<class View>

CombPtrFlag<Node<View> > Gecode::Int::Distinct::Edge< View >::sd [protected]

Combine source and destination node anf flag.

Definition at line 182 of file dom.icc.

---

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

• gecode/int/distinct/dom.icc (Revision: 7359)
• gecode/int/distinct/edge.icc (Revision: 4790)