Gecode::Int::Distinct::Edge< View > Class Template Reference
Inherits Gecode::Int::Distinct::BiLink.Detailed Description
template<class View>
class Gecode::Int::Distinct::Edge< View >
Edges in view-value graph.
Definition at line 140 of file dom.icc.
Public Member Functions | |
| Edge (Node< View > *, Node< View > *) | |
| Node< View > * | dst (Node< View > *) const |
| ViewNode< View > * | view (ValNode< View > *) const |
| ValNode< View > * | val (ViewNode< View > *) const |
| bool | used (Node< View > *) const |
| void | use (void) |
| void | free (void) |
| void | revert (Node< View > *) |
| Edge< View > * | next_edge (void) const |
| Edge< View > ** | next_edge_ref (void) |
| Edge< View > * | next (void) const |
Static Public Member Functions | |
| static void * | operator new (size_t, void *) |
Protected Attributes | |
| Edge< View > * | _next_edge |
| CombPtrFlag< Node< View > > | sd |
Constructor & Destructor Documentation
template<class View>
| Gecode::Int::Distinct::Edge< View >::Edge | ( | Node< View > * | , | |
| Node< View > * | ||||
| ) | [inline] |
Member Function Documentation
template<class View>
| Node< View > * Gecode::Int::Distinct::Edge< View >::dst | ( | Node< View > * | ) | const [inline] |
template<class View>
| ViewNode< View > * Gecode::Int::Distinct::Edge< View >::view | ( | ValNode< View > * | ) | const [inline] |
template<class View>
| ValNode< View > * Gecode::Int::Distinct::Edge< View >::val | ( | ViewNode< View > * | ) | const [inline] |
template<class View>
| bool Gecode::Int::Distinct::Edge< View >::used | ( | Node< View > * | ) | const [inline] |
template<class View>
| void Gecode::Int::Distinct::Edge< View >::use | ( | void | ) | [inline] |
template<class View>
| void Gecode::Int::Distinct::Edge< View >::free | ( | void | ) | [inline] |
template<class View>
| void Gecode::Int::Distinct::Edge< View >::revert | ( | Node< View > * | ) | [inline] |
template<class View>
| Edge< View > * Gecode::Int::Distinct::Edge< View >::next_edge | ( | void | ) | const [inline] |
template<class View>
| Edge< View > ** Gecode::Int::Distinct::Edge< View >::next_edge_ref | ( | void | ) | [inline] |
template<class View>
| Edge< View > * Gecode::Int::Distinct::Edge< View >::next | ( | void | ) | const [inline] |
template<class View>
| void * Gecode::Int::Distinct::Edge< View >::operator new | ( | size_t | , | |
| void * | ||||
| ) | [inline, static] |
Member Data Documentation
template<class View>
Edge<View>* Gecode::Int::Distinct::Edge< View >::_next_edge [protected] |
template<class View>
CombPtrFlag<Node<View> > Gecode::Int::Distinct::Edge< View >::sd [protected] |
The documentation for this class was generated from the following files:
- gecode/int/distinct/dom.icc (Revision: 3768)
- gecode/int/distinct/edge.icc (Revision: 3512)
