Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Gecode::Int::GCC::VarNode Class Reference

Variable node More...

#include <dom-sup.hpp>

Protected Attributes

Edgeubm
 Stores the matching edge on this node in the UBC.
Edgelbm
 Stores the matching edge on this node in the LBC.
Protected Attributes inherited from Gecode::Int::GCC::Node
Edgee
 Stores all incident edges on the node.
Edgefst
 First edge.
Edgelst
 Last edge.
Edgeie
 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

Edgeget_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

 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.
Edgefirst (void) const
 Return pointer to the first incident edge.
Edgelast (void) const
 Return pointer to the last incident edge.
Edgeinedge (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 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: