Gecode::Int::GCC::VarNode Class Reference

Variable node More...

#include <dom-sup.hpp>

List of all members.

Protected Attributes
Edge *	ubm
	Stores the matching edge on this node in the UBC.
Edge *	lbm
	Stores the matching edge on this node in the LBC.
Protected Attributes inherited from Gecode::Int::GCC::Node
Edge *	e
	Stores all incident edges on the node.
Edge *	fst
	First edge.
Edge *	lst
	Last edge.
Edge *	ie
	Single incoming edge used for storing a path in the algorithms.
int	idx
	Index.
unsigned char	nf
	Flags for node.

Constructors and initialization
	VarNode (void)
	Default constructor.
	VarNode (int i)
	Creates a variable node with index i.

Access
Edge *	get_match (BC bc) const
	Return the matching edge on the node.
bool	matched (BC bc) const
	tests whether the node is matched or not

Update
void	set_match (BC bc, Edge *m)
	Set the pointer of the matching edge to m.
void	match (BC bc)
	Set node to matched.
void	unmatch (BC bc)
	Unmatch the node.

Additional Inherited Members
Public Member Functions inherited from Gecode::Int::GCC::Node
	Node (void)
	Default constructor.
	Node (NodeFlag nf, int i)
	Constructor for index i that sets type to t.
bool	type (void) const
	Return the type of the node (false for a variable node)
Edge **	adj (void)
	Return reference to the incident edges.
Edge *	first (void) const
	Return pointer to the first incident edge.
Edge *	last (void) const
	Return pointer to the last incident edge.
Edge *	inedge (void) const
	Return pointer to the node's inedge.
int	index (void) const
	Get index of either variable or value.
bool	removed (void) const
	check whether a node has been removed from the graph
void	first (Edge *p)
	Set the first edge pointer to p.
void	last (Edge *p)
	Set the last edge pointer to p.
void	inedge (Edge *p)
	Set the inedge pointer to p.
void	index (int i)
	Set index of either variable or value.
Static Public Member Functions inherited from Gecode::Int::GCC::Node
static void *	operator new (size_t s, Space &home)
	Allocate memory from space.
static void	operator delete (void *, Space &)
	Free memory (unused)
static void	operator delete (void *)
	Needed for exceptions.
Public Attributes inherited from Gecode::Int::GCC::Node
int	noe
	stores the number of incident edges on the node
Protected Types inherited from Gecode::Int::GCC::Node
enum	NodeFlag { NF_NONE = 0, NF_VAL = 1 << 0, NF_M_LBC = 1 << 1, NF_M_UBC = 1 << 2 }
	Flags for nodes. More...

---

Detailed Description

Variable node

Definition at line 135 of file dom-sup.hpp.

---

Constructor & Destructor Documentation

Gecode::Int::GCC::VarNode::VarNode ( void  )

inline

Default constructor.

Definition at line 575 of file dom-sup.hpp.

Gecode::Int::GCC::VarNode::VarNode ( int  i )

inline

Creates a variable node with index i.

Definition at line 578 of file dom-sup.hpp.

---

Member Function Documentation

Edge * Gecode::Int::GCC::VarNode::get_match ( BC  bc ) const

inline

Return the matching edge on the node.

Definition at line 615 of file dom-sup.hpp.

bool Gecode::Int::GCC::VarNode::matched ( BC  bc ) const

inline

tests whether the node is matched or not

Definition at line 582 of file dom-sup.hpp.

void Gecode::Int::GCC::VarNode::set_match ( BC  bc, Edge *  m  )

inline

Set the pointer of the matching edge to m.

Definition at line 598 of file dom-sup.hpp.

void Gecode::Int::GCC::VarNode::match ( BC  bc )

inline

Set node to matched.

Definition at line 590 of file dom-sup.hpp.

void Gecode::Int::GCC::VarNode::unmatch ( BC  bc )

inline

Unmatch the node.

Definition at line 606 of file dom-sup.hpp.

---

Member Data Documentation

Edge* Gecode::Int::GCC::VarNode::ubm

protected

Stores the matching edge on this node in the UBC.

Definition at line 138 of file dom-sup.hpp.

Edge* Gecode::Int::GCC::VarNode::lbm

protected

Stores the matching edge on this node in the LBC.

Definition at line 140 of file dom-sup.hpp.

---

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

• gecode/int/gcc/dom-sup.hpp (Revision: 12384)