Gecode::Int::Distinct::ValNode< View > Class Template Reference
Inherits Gecode::Int::Distinct::Node< View >< View >.Detailed Description
template<class View>
class Gecode::Int::Distinct::ValNode< View >
Value nodes in view-value graph.
Definition at line 109 of file dom.icc.
Public Member Functions | |
ValNode (int) | |
int | val (void) const |
void | matching (Edge< View > *) |
Edge< View > * | matching (void) const |
Protected Attributes | |
const int | _val |
Edge< View > * | _matching |
Constructor & Destructor Documentation
template<class View>
Gecode::Int::Distinct::ValNode< View >::ValNode | ( | int | ) | [inline] |
Member Function Documentation
template<class View>
int Gecode::Int::Distinct::ValNode< View >::val | ( | void | ) | const [inline] |
template<class View>
void Gecode::Int::Distinct::ValNode< View >::matching | ( | Edge< View > * | ) | [inline] |
template<class View>
Edge< View > * Gecode::Int::Distinct::ValNode< View >::matching | ( | void | ) | const [inline] |
Member Data Documentation
template<class View>
const int Gecode::Int::Distinct::ValNode< View >::_val [protected] |
template<class View>
Edge<View>* Gecode::Int::Distinct::ValNode< View >::_matching [protected] |
The documentation for this class was generated from the following files:
- gecode/int/distinct/dom.icc (Revision: 3266)
- gecode/int/distinct/node.icc (Revision: 2072)