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. | |
![]() | |
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 | |
![]() | |
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 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. | |
![]() | |
int | noe |
stores the number of incident edges on the node | |
![]() | |
enum | NodeFlag { NF_NONE = 0 , NF_VAL = 1 << 0 , NF_M_LBC = 1 << 1 , NF_M_UBC = 1 << 2 } |
Flags for nodes. More... | |
Variable node
Definition at line 131 of file dom-sup.hpp.
|
inline |
Default constructor.
Definition at line 570 of file dom-sup.hpp.
|
inline |
Creates a variable node with index i.
Definition at line 573 of file dom-sup.hpp.
Return the matching edge on the node.
Definition at line 610 of file dom-sup.hpp.
|
inline |
tests whether the node is matched or not
Definition at line 577 of file dom-sup.hpp.
Set the pointer of the matching edge to m.
Definition at line 593 of file dom-sup.hpp.
|
inline |
Set node to matched.
Definition at line 585 of file dom-sup.hpp.
|
inline |
Unmatch the node.
Definition at line 601 of file dom-sup.hpp.
|
protected |
Stores the matching edge on this node in the UBC.
Definition at line 134 of file dom-sup.hpp.
|
protected |
Stores the matching edge on this node in the LBC.
Definition at line 136 of file dom-sup.hpp.