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
|
|
Member Function Documentation
|
|
|
|
|
|
Member Data Documentation
|
|
|
|
The documentation for this class was generated from the following files:
- gecode/int/distinct/dom.icc (Revision: 3768)
- gecode/int/distinct/node.icc (Revision: 2072)