Generated on Fri Oct 19 11:26:11 2018 for Gecode by doxygen 1.6.3

Gecode::Int::GCC::ValNode Class Reference

Value node. More...

#include <dom-sup.hpp>

List of all members.

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 166 of file dom-sup.hpp.


Constructor & Destructor Documentation

Gecode::Int::GCC::ValNode::ValNode ( void   )  [inline]

Default constructor.

Definition at line 625 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 628 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 642 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 651 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 662 of file dom-sup.hpp.

void Gecode::Int::GCC::ValNode::red_conflict ( void   )  [inline]

Reduce the conflict counter.

Definition at line 656 of file dom-sup.hpp.

void Gecode::Int::GCC::ValNode::inc ( void   )  [inline]

increases the value counter

Definition at line 753 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 758 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 779 of file dom-sup.hpp.

int Gecode::Int::GCC::ValNode::kindex ( void   )  const [inline]

returns the index in cardinality array k

Definition at line 773 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 674 of file dom-sup.hpp.

bool Gecode::Int::GCC::ValNode::sink ( void   )  const [inline]

tests whether the node is a sink

Definition at line 788 of file dom-sup.hpp.

bool Gecode::Int::GCC::ValNode::source ( void   )  const [inline]

tests whether the node is a source

Definition at line 795 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 701 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 696 of file dom-sup.hpp.

int Gecode::Int::GCC::ValNode::kbound ( BC  bc  )  const [inline]

return minimal or maximal capacity

Definition at line 687 of file dom-sup.hpp.

void Gecode::Int::GCC::ValNode::maxlow ( int  i  )  [inline]

set the max cap for LBC

Definition at line 636 of file dom-sup.hpp.

void Gecode::Int::GCC::ValNode::kcount ( int  c  )  [inline]

Set how often value occurs.

Definition at line 763 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 768 of file dom-sup.hpp.

void Gecode::Int::GCC::ValNode::dec ( BC  bc  )  [inline]

decrease the node-capacity

Definition at line 717 of file dom-sup.hpp.

void Gecode::Int::GCC::ValNode::inc ( BC  bc  )  [inline]

increase the node-capacity

Definition at line 726 of file dom-sup.hpp.

int Gecode::Int::GCC::ValNode::cap ( BC  bc  )  const [inline]

return the the node-capacity

Definition at line 667 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 745 of file dom-sup.hpp.

void Gecode::Int::GCC::ValNode::match ( BC  bc  )  [inline]

match the node

Definition at line 735 of file dom-sup.hpp.

void Gecode::Int::GCC::ValNode::unmatch ( BC  bc  )  [inline]

unmatch the node

Definition at line 740 of file dom-sup.hpp.

void Gecode::Int::GCC::ValNode::reset ( void   )  [inline]

node reset to original capacity values

Definition at line 679 of file dom-sup.hpp.

void Gecode::Int::GCC::ValNode::kmin ( int  min  )  [inline]

set the minimal k-capacity to min

Definition at line 706 of file dom-sup.hpp.

void Gecode::Int::GCC::ValNode::kmax ( int  max  )  [inline]

set the maximal k-capacity to max

Definition at line 711 of file dom-sup.hpp.


Member Data Documentation

Minimal required occurence of the value as stored in k.

Definition at line 169 of file dom-sup.hpp.

Maximal required occurence of the value as stored in k.

Definition at line 171 of file dom-sup.hpp.

Index to acces the value via cardinality array k.

Definition at line 173 of file dom-sup.hpp.

Stores the current number of occurences of the value.

Definition at line 175 of file dom-sup.hpp.

Store numbre of conflicting matching edges.

Definition at line 177 of file dom-sup.hpp.

Minimal capacity of the value node.

Definition at line 179 of file dom-sup.hpp.

Smallest maximal capacity of the value node.

Definition at line 181 of file dom-sup.hpp.

Maximal capacity of the value node.

Definition at line 183 of file dom-sup.hpp.

Stores the value of the node.

Definition at line 186 of file dom-sup.hpp.


The documentation for this class was generated from the following file: