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