Edges in view-value graph. More...
#include <dom.hpp>
Public Member Functions | |
Edge (ValNode< View > *v, ViewNode< View > *x) | |
Construct new edge between x and v. | |
Node< View > * | dst (Node< View > *s) const |
Return destination of edge when source s is given. | |
ViewNode< View > * | view (ValNode< View > *v) const |
Return view node when value node v is given. | |
ValNode< View > * | val (ViewNode< View > *x) const |
Return value node when view node x is given. | |
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 delete (void *, size_t) |
static void | operator delete (void *, Space &) |
static void * | operator new (size_t, Space &) |
Protected Attributes | |
Edge< View > * | _next_edge |
Next edge in chain of value edges. | |
CombPtrFlag< Node< View > > | sd |
Combine source and destination node anf flag. |
Edges in view-value graph.
Gecode::Int::Distinct::Edge< View >::Edge | ( | ValNode< View > * | v, |
ViewNode< View > * | x | ||
) | [inline] |
Node< View > * Gecode::Int::Distinct::Edge< View >::dst | ( | Node< View > * | s | ) | const [inline] |
ViewNode< View > * Gecode::Int::Distinct::Edge< View >::view | ( | ValNode< View > * | v | ) | const [inline] |
ValNode< View > * Gecode::Int::Distinct::Edge< View >::val | ( | ViewNode< View > * | x | ) | const [inline] |
bool Gecode::Int::Distinct::Edge< View >::used | ( | Node< View > * | v | ) | const [inline] |
void Gecode::Int::Distinct::Edge< View >::use | ( | void | ) | [inline] |
void Gecode::Int::Distinct::Edge< View >::free | ( | void | ) | [inline] |
void Gecode::Int::Distinct::Edge< View >::revert | ( | Node< View > * | d | ) | [inline] |
Edge< View > * Gecode::Int::Distinct::Edge< View >::next_edge | ( | void | ) | const [inline] |
Edge< View > ** Gecode::Int::Distinct::Edge< View >::next_edge_ref | ( | void | ) | [inline] |
Edge< View > * Gecode::Int::Distinct::Edge< View >::next | ( | void | ) | const [inline] |
Reimplemented from Gecode::Int::Distinct::BiLink.
void Gecode::Int::Distinct::Edge< View >::operator delete | ( | void * | , |
size_t | |||
) | [inline, static] |
void Gecode::Int::Distinct::Edge< View >::operator delete | ( | void * | , |
Space & | |||
) | [inline, static] |
void * Gecode::Int::Distinct::Edge< View >::operator new | ( | size_t | s, |
Space & | home | ||
) | [inline, static] |
Edge<View>* Gecode::Int::Distinct::Edge< View >::_next_edge [protected] |
CombPtrFlag<Node<View> > Gecode::Int::Distinct::Edge< View >::sd [protected] |