Variable node More...
#include <dom-sup.hpp>
Protected Attributes | |
| Edge * | ubm |
| Stores the matching edge on this node in the UBC. More... | |
| Edge * | lbm |
| Stores the matching edge on this node in the LBC. More... | |
 Protected Attributes inherited from Gecode::Int::GCC::Node | |
| Edge * | e |
| Stores all incident edges on the node. More... | |
| Edge * | fst |
| First edge. More... | |
| Edge * | lst |
| Last edge. More... | |
| Edge * | ie |
| Single incoming edge used for storing a path in the algorithms. More... | |
| int | idx |
| Index. More... | |
| unsigned char | nf |
| Flags for node. More... | |
Constructors and initialization | |
| VarNode (void) | |
| Default constructor. More... | |
| VarNode (int i) | |
| Creates a variable node with index i. More... | |
Access | |
| Edge * | get_match (BC bc) const |
| Return the matching edge on the node. More... | |
| bool | matched (BC bc) const |
| tests whether the node is matched or not More... | |
Update | |
| void | set_match (BC bc, Edge *m) |
| Set the pointer of the matching edge to m. More... | |
| void | match (BC bc) |
| Set node to matched. More... | |
| void | unmatch (BC bc) |
| Unmatch the node. More... | |
Additional Inherited Members | |
| Public Member Functions inherited from Gecode::Int::GCC::Node | |
| Node (void) | |
| Default constructor. More... | |
| Node (NodeFlag nf, int i) | |
| Constructor for index i that sets type to t. More... | |
| bool | type (void) const |
| Return the type of the node (false for a variable node) More... | |
| Edge ** | adj (void) |
| Return reference to the incident edges. More... | |
| Edge * | first (void) const |
| Return pointer to the first incident edge. More... | |
| Edge * | last (void) const |
| Return pointer to the last incident edge. More... | |
| Edge * | inedge (void) const |
| Return pointer to the node's inedge. More... | |
| int | index (void) const |
| Get index of either variable or value. More... | |
| bool | removed (void) const |
| check whether a node has been removed from the graph More... | |
| void | first (Edge *p) |
| Set the first edge pointer to p. More... | |
| void | last (Edge *p) |
| Set the last edge pointer to p. More... | |
| void | inedge (Edge *p) |
| Set the inedge pointer to p. More... | |
| void | index (int i) |
| Set index of either variable or value. More... | |
| Static Public Member Functions inherited from Gecode::Int::GCC::Node | |
| static void * | operator new (size_t s, Space &home) |
| Allocate memory from space. More... | |
| static void | operator delete (void *, Space &) |
| Free memory (unused) More... | |
| static void | operator delete (void *) |
| Needed for exceptions. More... | |
| Public Attributes inherited from Gecode::Int::GCC::Node | |
| int | noe |
| stores the number of incident edges on the node More... | |
| 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 135 of file dom-sup.hpp.
|
inline |
Default constructor.
Definition at line 575 of file dom-sup.hpp.
|
inline |
Creates a variable node with index i.
Definition at line 578 of file dom-sup.hpp.
Return the matching edge on the node.
Definition at line 615 of file dom-sup.hpp.
|
inline |
tests whether the node is matched or not
Definition at line 582 of file dom-sup.hpp.
Set the pointer of the matching edge to m.
Definition at line 598 of file dom-sup.hpp.
|
inline |
Set node to matched.
Definition at line 590 of file dom-sup.hpp.
|
inline |
Unmatch the node.
Definition at line 606 of file dom-sup.hpp.
|
protected |
Stores the matching edge on this node in the UBC.
Definition at line 138 of file dom-sup.hpp.
|
protected |
Stores the matching edge on this node in the LBC.
Definition at line 140 of file dom-sup.hpp.