Gecode::Int::ViewValGraph::ViewNode< View > Class Template Reference

View nodes in view-value graph. More...

#include <view-val-graph.hh>

List of all members.

Public Member Functions
	ViewNode (void)
	Initialize node for a non-view.
	ViewNode (View x)
	Initialize new node for view x.
Edge< View > *	val_edges (void) const
	Return first edge of all value edges.
Edge< View > **	val_edges_ref (void)
	Return pointer to first edge fields of all value edges.
bool	fake (void) const
	Test whether node has a fake view.
View	view (void) const
	Return view.
void	update (void)
	Update size of view after change.
bool	changed (void) const
	Return whether view has changed its size.
bool	matched (void) const
	Whether the node is matched.
Protected Attributes
unsigned int	_size
	The size of the view after last change.
View	_view
	The node's view.
Edge< View > *	_val_edges
	The first value edge.

---

Detailed Description

template<class View>
class Gecode::Int::ViewValGraph::ViewNode< View >

View nodes in view-value graph.

Definition at line 178 of file view-val-graph.hh.

---

Constructor & Destructor Documentation

template<class View >

Gecode::Int::ViewValGraph::ViewNode< View >::ViewNode

(

void

)

[inline]

Initialize node for a non-view.

Definition at line 126 of file node.hpp.

template<class View>

Gecode::Int::ViewValGraph::ViewNode< View >::ViewNode

(

View

x

)

[inline]

Initialize new node for view x.

Definition at line 130 of file node.hpp.

---

Member Function Documentation

template<class View >

Edge< View > * Gecode::Int::ViewValGraph::ViewNode< View >::val_edges

(

void

)

const [inline]

Return first edge of all value edges.

Definition at line 134 of file node.hpp.

template<class View >

Edge< View > ** Gecode::Int::ViewValGraph::ViewNode< View >::val_edges_ref

(

void

)

[inline]

Return pointer to first edge fields of all value edges.

Definition at line 139 of file node.hpp.

template<class View >

bool Gecode::Int::ViewValGraph::ViewNode< View >::fake

(

void

)

const [inline]

Test whether node has a fake view.

Definition at line 144 of file node.hpp.

template<class View >

View Gecode::Int::ViewValGraph::ViewNode< View >::view

(

void

)

const [inline]

Return view.

Definition at line 149 of file node.hpp.

template<class View >

void Gecode::Int::ViewValGraph::ViewNode< View >::update

(

void

)

[inline]

Update size of view after change.

Definition at line 159 of file node.hpp.

template<class View >

bool Gecode::Int::ViewValGraph::ViewNode< View >::changed

(

void

)

const [inline]

Return whether view has changed its size.

Definition at line 154 of file node.hpp.

template<class View >

bool Gecode::Int::ViewValGraph::ViewNode< View >::matched

(

void

)

const [inline]

Whether the node is matched.

Definition at line 164 of file node.hpp.

---

Member Data Documentation

template<class View>

unsigned int Gecode::Int::ViewValGraph::ViewNode< View >::_size [protected]

The size of the view after last change.

Definition at line 181 of file view-val-graph.hh.

template<class View>

View Gecode::Int::ViewValGraph::ViewNode< View >::_view [protected]

The node's view.

Definition at line 183 of file view-val-graph.hh.

template<class View>

Edge<View>* Gecode::Int::ViewValGraph::ViewNode< View >::_val_edges [protected]

The first value edge.

Definition at line 185 of file view-val-graph.hh.

---

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

• gecode/int/view-val-graph.hh (Revision: 12395)
• gecode/int/view-val-graph/node.hpp (Revision: 12395)