Generated on Thu Apr 11 14:00:02 2019 for Gecode by doxygen 1.6.3

Gecode::Int::GCC::VarNode Class Reference

Variable node More...

#include <dom-sup.hpp>

List of all members.

Protected Attributes

Edgeubm
 Stores the matching edge on this node in the UBC.
Edgelbm
 Stores the matching edge on this node in the LBC.

Constructors and initialization



 VarNode (void)
 Default constructor.
 VarNode (int i)
 Creates a variable node with index i.

Access



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

Detailed Description

Variable node

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


Constructor & Destructor Documentation

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

Default constructor.

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

Gecode::Int::GCC::VarNode::VarNode ( int  i  )  [inline]

Creates a variable node with index i.

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


Member Function Documentation

Edge * Gecode::Int::GCC::VarNode::get_match ( BC  bc  )  const [inline]

Return the matching edge on the node.

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

bool Gecode::Int::GCC::VarNode::matched ( BC  bc  )  const [inline]

tests whether the node is matched or not

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

void Gecode::Int::GCC::VarNode::set_match ( BC  bc,
Edge m 
) [inline]

Set the pointer of the matching edge to m.

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

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

Set node to matched.

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

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

Unmatch the node.

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


Member Data Documentation

Stores the matching edge on this node in the UBC.

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

Stores the matching edge on this node in the LBC.

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


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