
Value node. More...
#include <dom-sup.hpp>
Public Attributes | |
| int | val |
| Stores the value of the node. More... | |
Public Attributes inherited from Gecode::Int::GCC::Node | |
| int | noe |
| stores the number of incident edges on the node More... | |
Protected Attributes | |
| int | _klb |
| Minimal required occurence of the value as stored in k. More... | |
| int | _kub |
| Maximal required occurence of the value as stored in k. More... | |
| int | _kidx |
| Index to acces the value via cardinality array k. More... | |
| int | _kcount |
| Stores the current number of occurences of the value. More... | |
| int | noc |
| Store numbre of conflicting matching edges. More... | |
| int | lb |
| Minimal capacity of the value node. More... | |
| int | ublow |
| Smallest maximal capacity of the value node. More... | |
| int | ub |
| Maximal capacity of the value node. 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 destructors | |
| ValNode (void) | |
| Default constructor. More... | |
| ValNode (int min, int max, int value, int kidx, int kshift, int count) | |
| Constructor for value node. More... | |
Access | |
| int | maxlow (void) const |
| get max cap for LBC More... | |
| void | card_conflict (int c) |
| Mark the value node as conflicting in case of variable cardinalities. More... | |
| int | card_conflict (void) const |
| Check whether the value node is conflicting. More... | |
| void | red_conflict (void) |
| Reduce the conflict counter. More... | |
| void | inc (void) |
| increases the value counter More... | |
| int | kcount (void) const |
| returns the current number of occurences of the value More... | |
| int | incid_match (BC bc) const |
| returns the number of incident matching edges on a value node More... | |
| int | kindex (void) const |
| returns the index in cardinality array k More... | |
| bool | matched (BC bc) const |
| returns true if the node is matched in BC, false otherwise More... | |
| bool | sink (void) const |
| tests whether the node is a sink More... | |
| bool | source (void) const |
| tests whether the node is a source More... | |
| int | kmin (void) const |
| return the minimal node capacity as stored in k More... | |
| int | kmax (void) const |
| return the maximal node capacity as stored in k More... | |
| int | kbound (BC bc) const |
| return minimal or maximal capacity More... | |
Update | |
| void | maxlow (int i) |
| set the max cap for LBC More... | |
| void | kcount (int) |
| Set how often value occurs. More... | |
| void | kindex (int) |
| changes the index in the cardinality array k More... | |
| void | dec (BC bc) |
| decrease the node-capacity More... | |
| void | inc (BC bc) |
| increase the node-capacity More... | |
| int | cap (BC bc) const |
| return the the node-capacity More... | |
| void | cap (BC bc, int c) |
| set the node-capacity to c More... | |
| void | match (BC bc) |
| match the node More... | |
| void | unmatch (BC bc) |
| unmatch the node More... | |
| void | reset (void) |
| node reset to original capacity values More... | |
| void | kmin (int min) |
| set the minimal k-capacity to min More... | |
| void | kmax (int max) |
| set the maximal k-capacity to max 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... | |
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... | |
Value node.
Definition at line 170 of file dom-sup.hpp.
|
inline |
Default constructor.
Definition at line 630 of file dom-sup.hpp.
|
inline |
Constructor for value node.
with minimal capacity min, maximal capacity max, the value value and the index k_access in k
Definition at line 633 of file dom-sup.hpp.
|
inline |
get max cap for LBC
Definition at line 647 of file dom-sup.hpp.
|
inline |
Mark the value node as conflicting in case of variable cardinalities.
Definition at line 656 of file dom-sup.hpp.
|
inline |
Check whether the value node is conflicting.
Definition at line 667 of file dom-sup.hpp.
|
inline |
Reduce the conflict counter.
Definition at line 661 of file dom-sup.hpp.
|
inline |
increases the value counter
Definition at line 758 of file dom-sup.hpp.
|
inline |
returns the current number of occurences of the value
Definition at line 763 of file dom-sup.hpp.
|
inline |
returns the number of incident matching edges on a value node
Returs the number of incident matching edges on the node.
Definition at line 784 of file dom-sup.hpp.
|
inline |
returns the index in cardinality array k
Definition at line 778 of file dom-sup.hpp.
|
inline |
returns true if the node is matched in BC, false otherwise
Definition at line 679 of file dom-sup.hpp.
|
inline |
tests whether the node is a sink
Definition at line 793 of file dom-sup.hpp.
|
inline |
tests whether the node is a source
Definition at line 800 of file dom-sup.hpp.
|
inline |
return the minimal node capacity as stored in k
Definition at line 706 of file dom-sup.hpp.
|
inline |
return the maximal node capacity as stored in k
Definition at line 701 of file dom-sup.hpp.
|
inline |
return minimal or maximal capacity
Definition at line 692 of file dom-sup.hpp.
|
inline |
set the max cap for LBC
Definition at line 641 of file dom-sup.hpp.
|
inline |
Set how often value occurs.
Definition at line 768 of file dom-sup.hpp.
|
inline |
changes the index in the cardinality array k
Definition at line 773 of file dom-sup.hpp.
|
inline |
decrease the node-capacity
Definition at line 722 of file dom-sup.hpp.
|
inline |
increase the node-capacity
Definition at line 731 of file dom-sup.hpp.
|
inline |
return the the node-capacity
Definition at line 672 of file dom-sup.hpp.
|
inline |
set the node-capacity to c
Definition at line 750 of file dom-sup.hpp.
|
inline |
match the node
Definition at line 740 of file dom-sup.hpp.
|
inline |
unmatch the node
Definition at line 745 of file dom-sup.hpp.
|
inline |
node reset to original capacity values
Definition at line 684 of file dom-sup.hpp.
|
inline |
set the minimal k-capacity to min
Definition at line 711 of file dom-sup.hpp.
|
inline |
set the maximal k-capacity to max
Definition at line 716 of file dom-sup.hpp.
|
protected |
Minimal required occurence of the value as stored in k.
Definition at line 173 of file dom-sup.hpp.
|
protected |
Maximal required occurence of the value as stored in k.
Definition at line 175 of file dom-sup.hpp.
|
protected |
Index to acces the value via cardinality array k.
Definition at line 177 of file dom-sup.hpp.
|
protected |
Stores the current number of occurences of the value.
Definition at line 179 of file dom-sup.hpp.
|
protected |
Store numbre of conflicting matching edges.
Definition at line 181 of file dom-sup.hpp.
|
protected |
Minimal capacity of the value node.
Definition at line 183 of file dom-sup.hpp.
|
protected |
Smallest maximal capacity of the value node.
Definition at line 185 of file dom-sup.hpp.
|
protected |
Maximal capacity of the value node.
Definition at line 187 of file dom-sup.hpp.
| int Gecode::Int::GCC::ValNode::val |
Stores the value of the node.
Definition at line 190 of file dom-sup.hpp.