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

Inherits Gecode::Int::Distinct::Node< View >.

List of all members.

---

Detailed Description

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

Value nodes in view-value graph.

Definition at line 123 of file dom.icc.

Public Member Functions
	ValNode (int v)
	Initialize with value v.
	ValNode (int v, ValNode< View > *n)
	Initialize with value v and successor n.
int	val (void) const
	Return value of node.
void	matching (Edge< View > *m)
	Set matching edge to m.
Edge< View > *	matching (void) const
	Return matching edge (NULL if unmatched).
ValNode< View > **	next_val_ref (void)
	Return pointer to next value node fields.
ValNode< View > *	next_val (void) const
	Return next value node.
void	next_val (ValNode< View > *v)
	Set next value node to v.
Protected Attributes
const int	_val
	The value of the node.
Edge< View > *	_matching
	The matching edge.
ValNode< View > *	_next_val
	The next value node.

---

Constructor & Destructor Documentation

template<class View>

Gecode::Int::Distinct::ValNode< View >::ValNode

(

int

v

)

[inline]

Initialize with value v.

Definition at line 80 of file node.icc.

template<class View>

Gecode::Int::Distinct::ValNode< View >::ValNode	(	int	v,
		ValNode< View > *	n
	)			[inline]

Initialize with value v and successor n.

Definition at line 84 of file node.icc.

---

Member Function Documentation

template<class View>

int Gecode::Int::Distinct::ValNode< View >::val

(

void

)

const [inline]

Return value of node.

Definition at line 88 of file node.icc.

template<class View>

void Gecode::Int::Distinct::ValNode< View >::matching

(

Edge< View > *

m

)

[inline]

Set matching edge to m.

Definition at line 93 of file node.icc.

template<class View>

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

(

void

)

const [inline]

Return matching edge (NULL if unmatched).

Definition at line 98 of file node.icc.

template<class View>

ValNode< View > ** Gecode::Int::Distinct::ValNode< View >::next_val_ref

(

void

)

[inline]

Return pointer to next value node fields.

Definition at line 103 of file node.icc.

template<class View>

ValNode< View > * Gecode::Int::Distinct::ValNode< View >::next_val

(

void

)

const [inline]

Return next value node.

Definition at line 108 of file node.icc.

template<class View>

void Gecode::Int::Distinct::ValNode< View >::next_val

(

ValNode< View > *

v

)

[inline]

Set next value node to v.

Definition at line 113 of file node.icc.

---

Member Data Documentation

template<class View>

const int Gecode::Int::Distinct::ValNode< View >::_val [protected]

The value of the node.

Definition at line 126 of file dom.icc.

template<class View>

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

The matching edge.

Definition at line 128 of file dom.icc.

template<class View>

ValNode<View>* Gecode::Int::Distinct::ValNode< View >::_next_val [protected]

The next value node.

Definition at line 130 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/node.icc (Revision: 4790)