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

Variable node More...

#include <dom-sup.hpp>

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 131 of file dom-sup.hpp.

Constructor & Destructor Documentation

VarNode() [1/2]

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

inline

Default constructor.

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

VarNode() [2/2]

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

inline

Creates a variable node with index i.

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

Member Function Documentation

get_match()

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

inline

Return the matching edge on the node.

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

matched()

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

inline

tests whether the node is matched or not

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

set_match()

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

inline

Set the pointer of the matching edge to m.

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

match()

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

inline

Set node to matched.

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

unmatch()

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

inline

Unmatch the node.

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

Member Data Documentation

ubm

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

protected

Stores the matching edge on this node in the UBC.

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

lbm

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

protected

Stores the matching edge on this node in the LBC.

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

---

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

• gecode/int/gcc/dom-sup.hpp