Generated on Tue Sep 25 2012 20:53:32 for Gecode by doxygen 1.7.5
Gecode::Int::ViewValGraph::Edge Class Reference

Edges in view-value graph. More...

#include <view-val-graph.hh>

List of all members.

Public Member Functions

 Edge (ValNode< View > *v, ViewNode< View > *x)
 Construct new edge between x and v.
 Edge (ValNode< View > *v, ViewNode< View > *x, Edge< View > *n)
 Construct new edge between x and v with next edge n.
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 > *v) const
 Whether edge is used (marked or between nodes from the same scc)
void use (void)
 Mark node as used.
void free (void)
 Unmark node as used.
void revert (Node< View > *d)
 Revert edge to node d for matching.
Edge< View > * next_edge (void) const
 Return next edge in list of value edges.
Edge< View > ** next_edge_ref (void)
 Return reference to next edge in list of value edges.
Edge< View > * next (void) const
 Return next edge in list of edges per node.

Static Public Member Functions

static void * operator new (size_t, Space &)
 Allocate memory from space.
static void operator delete (void *, size_t)
 Needed for exceptions.
static void operator delete (void *, Space &)
 Needed for exceptions.

Protected Attributes

Edge< View > * _next_edge
 Next edge in chain of value edges.
CombPtrFlag< Node< View > > sd
 Combine source and destination node and flag.

Detailed Description

Edges in view-value graph.


Constructor & Destructor Documentation

Gecode::Int::ViewValGraph::Edge::Edge ( ValNode< View > *  v,
ViewNode< View > *  x 
) [inline]

Construct new edge between x and v.

Definition at line 42 of file edge.hpp.

Gecode::Int::ViewValGraph::Edge::Edge ( ValNode< View > *  v,
ViewNode< View > *  x,
Edge< View > *  n 
) [inline]

Construct new edge between x and v with next edge n.

Definition at line 48 of file edge.hpp.


Member Function Documentation

Node< View > * Gecode::Int::ViewValGraph::Edge::dst ( Node< View > *  s) const [inline]

Return destination of edge when source s is given.

Definition at line 55 of file edge.hpp.

ViewNode< View > * Gecode::Int::ViewValGraph::Edge::view ( ValNode< View > *  v) const [inline]

Return view node when value node v is given.

Definition at line 68 of file edge.hpp.

ValNode< View > * Gecode::Int::ViewValGraph::Edge::val ( ViewNode< View > *  x) const [inline]

Return value node when view node x is given.

Definition at line 73 of file edge.hpp.

bool Gecode::Int::ViewValGraph::Edge::used ( Node< View > *  v) const [inline]

Whether edge is used (marked or between nodes from the same scc)

Definition at line 79 of file edge.hpp.

void Gecode::Int::ViewValGraph::Edge::use ( void  ) [inline]

Mark node as used.

Definition at line 84 of file edge.hpp.

void Gecode::Int::ViewValGraph::Edge::free ( void  ) [inline]

Unmark node as used.

Definition at line 89 of file edge.hpp.

void Gecode::Int::ViewValGraph::Edge::revert ( Node< View > *  d) [inline]

Revert edge to node d for matching.

Definition at line 61 of file edge.hpp.

Edge< View > * Gecode::Int::ViewValGraph::Edge::next_edge ( void  ) const [inline]

Return next edge in list of value edges.

Definition at line 95 of file edge.hpp.

Edge< View > ** Gecode::Int::ViewValGraph::Edge::next_edge_ref ( void  ) [inline]

Return reference to next edge in list of value edges.

Definition at line 100 of file edge.hpp.

Edge< View > * Gecode::Int::ViewValGraph::Edge::next ( void  ) const [inline]

Return next edge in list of edges per node.

Reimplemented from Gecode::Int::ViewValGraph::BiLink.

Definition at line 105 of file edge.hpp.

void * Gecode::Int::ViewValGraph::Edge::operator new ( size_t  s,
Space home 
) [inline, static]

Allocate memory from space.

Definition at line 117 of file edge.hpp.

void Gecode::Int::ViewValGraph::Edge::operator delete ( void *  ,
size_t   
) [inline, static]

Needed for exceptions.

Definition at line 111 of file edge.hpp.

void Gecode::Int::ViewValGraph::Edge::operator delete ( void *  ,
Space  
) [inline, static]

Needed for exceptions.

Definition at line 114 of file edge.hpp.


Member Data Documentation

Next edge in chain of value edges.

Definition at line 215 of file view-val-graph.hh.

Combine source and destination node and flag.

Definition at line 217 of file view-val-graph.hh.


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