
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... | |
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.