#include <DepthFirstVisitor.h>

Collaboration diagram for DGtal::DepthFirstVisitor< TGraph, TMarkSet >:

Data Structures
struct	ConstIterator
struct	NodeAccessor
struct	VertexAccessor

Public Types
typedef DepthFirstVisitor < TGraph, TMarkSet >	Self
typedef TGraph	Graph
typedef TMarkSet	MarkSet
typedef Graph::Size	Size
typedef Graph::Vertex	Vertex
typedef std::pair< Vertex, Size >	Node
typedef std::stack< Node >	NodeQueue
typedef std::vector< Vertex >	VertexList
typedef ConstIterator < VertexAccessor >	VertexConstIterator
typedef ConstIterator < NodeAccessor >	NodeConstIterator

Public Member Functions
	~DepthFirstVisitor ()
	DepthFirstVisitor (const Graph &graph)
	DepthFirstVisitor (const Graph &graph, const Vertex &p)
template<typename VertexIterator >
	DepthFirstVisitor (const Graph &graph, VertexIterator b, VertexIterator e)
const Graph &	graph () const
const Node &	current () const
void	ignore ()
void	expand ()
template<typename VertexPredicate >
void	expand (const VertexPredicate &authorized_vtx)
bool	finished () const
void	terminate ()
const MarkSet &	markedVertices () const
MarkSet	visitedVertices () const
void	selfDisplay (std::ostream &out) const
bool	isValid () const

Protected Member Functions
	DepthFirstVisitor ()

Private Member Functions
	DepthFirstVisitor (const DepthFirstVisitor &other)
DepthFirstVisitor &	operator= (const DepthFirstVisitor &other)

Private Attributes
const Graph &	myGraph
MarkSet	myMarkedVertices
NodeQueue	myQueue

Detailed Description

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>
class DGtal::DepthFirstVisitor< TGraph, TMarkSet >

Aim: This class is useful to perform a depth-first exploration of a graph given a starting point or set (called initial core).

Description of template class 'DepthFirstVisitor'

The expander implements a depth-first algorithm on the graph of adjacencies. It can be used not only to detect connected component but also to identify the layers of the object located at a given distance of a starting set.

The core of the expander is at the beginning the set of points at distance 0. In this visitor, the distance attached to visited nodes correspond to the depth of the node in the breadth-first traveral.

Template Parameters:

TGraph the type of the graph (models of CUndirectedSimpleLocalGraph).

     Graph g( ... );
     Graph::Vertex p( ... );
     DepthFirstVisitor< Graph > visitor( g, p );
     while ( ! visitor.finished() )
       {
         DepthFirstVisitor<Graph>::Node node = visitor.current();
         std::cout << "Vertex " << node.first 
                   << " at distance " << node.second << std::endl;
         visitor.expand();
       }

See also:: testDepthFirstVisitor.cpp

Definition at line 94 of file DepthFirstVisitor.h.

Member Typedef Documentation

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

typedef TGraph DGtal::DepthFirstVisitor< TGraph, TMarkSet >::Graph

Definition at line 99 of file DepthFirstVisitor.h.

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

typedef TMarkSet DGtal::DepthFirstVisitor< TGraph, TMarkSet >::MarkSet

Definition at line 100 of file DepthFirstVisitor.h.

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

typedef std::pair< Vertex, Size > DGtal::DepthFirstVisitor< TGraph, TMarkSet >::Node

Type stocking the vertex and its topological depth wrt the initial point or set.

Definition at line 113 of file DepthFirstVisitor.h.

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

typedef ConstIterator<NodeAccessor> DGtal::DepthFirstVisitor< TGraph, TMarkSet >::NodeConstIterator

const iterator on pair (Vertex,distance) for visiting a graph by following a depth first traversal.

Definition at line 240 of file DepthFirstVisitor.h.

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

typedef std::stack< Node > DGtal::DepthFirstVisitor< TGraph, TMarkSet >::NodeQueue

Internal data structure for computing the depth-first expansion.

Definition at line 115 of file DepthFirstVisitor.h.

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

typedef DepthFirstVisitor<TGraph,TMarkSet> DGtal::DepthFirstVisitor< TGraph, TMarkSet >::Self

Definition at line 98 of file DepthFirstVisitor.h.

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

typedef Graph::Size DGtal::DepthFirstVisitor< TGraph, TMarkSet >::Size

Definition at line 101 of file DepthFirstVisitor.h.

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

typedef Graph::Vertex DGtal::DepthFirstVisitor< TGraph, TMarkSet >::Vertex

Definition at line 102 of file DepthFirstVisitor.h.

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

typedef ConstIterator<VertexAccessor> DGtal::DepthFirstVisitor< TGraph, TMarkSet >::VertexConstIterator

const iterator on Vertex for visiting a graph by following a depth first traversal.

Definition at line 237 of file DepthFirstVisitor.h.

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

typedef std::vector< Vertex > DGtal::DepthFirstVisitor< TGraph, TMarkSet >::VertexList

Internal data structure for storing vertices.

Definition at line 117 of file DepthFirstVisitor.h.

Constructor & Destructor Documentation

template<typename TGraph , typename TMarkSet >

DGtal::DepthFirstVisitor< TGraph, TMarkSet >::~DepthFirstVisitor ( )

inline

Destructor.

Definition at line 46 of file DepthFirstVisitor.ih.

{

}

template<typename TGraph , typename TMarkSet >

DGtal::DepthFirstVisitor< TGraph, TMarkSet >::DepthFirstVisitor ( const Graph & graph )

inline

Constructor from the graph only. The visitor is in the state 'finished()'. Useful to create an equivalent of 'end()' iterator.

Parameters:

graph the graph in which the depth first traversal takes place.

Definition at line 53 of file DepthFirstVisitor.ih.

  : myGraph( g )
{
}

template<typename TGraph , typename TMarkSet >

DGtal::DepthFirstVisitor< TGraph, TMarkSet >::DepthFirstVisitor	(	const Graph &	graph,
		const Vertex &	p
	)

inline

Constructor from a point. This point provides the initial core of the visitor.

Parameters:

graph	the graph in which the depth first traversal takes place.
p	any vertex of the graph.

Definition at line 61 of file DepthFirstVisitor.ih.

References DGtal::DepthFirstVisitor< TGraph, TMarkSet >::myMarkedVertices, and DGtal::DepthFirstVisitor< TGraph, TMarkSet >::myQueue.

  : myGraph( g )
{
  myMarkedVertices.insert( p );
  myQueue.push( std::make_pair( p, 0 ) );
}

template<typename TGraph , typename TMarkSet >

template<typename VertexIterator >

DGtal::DepthFirstVisitor< TGraph, TMarkSet >::DepthFirstVisitor	(	const Graph &	graph,
		VertexIterator	b,
		VertexIterator	e
	)

inline

Constructor from iterators. All vertices visited between the iterators should be distinct two by two. The so specified set of vertices provides the initial core of the depth first traversal. These vertices will all have a topological depth. 0.

Template Parameters:

VertexIterator any type of single pass iterator on vertices.

Parameters:

graph	the graph in which the depth first traversal takes place.
b	the begin iterator in a container of vertices.
e	the end iterator in a container of vertices.

Definition at line 72 of file DepthFirstVisitor.ih.

References DGtal::DepthFirstVisitor< TGraph, TMarkSet >::myMarkedVertices, and DGtal::DepthFirstVisitor< TGraph, TMarkSet >::myQueue.

  : myGraph( g )
{
  for ( ; b != e; ++b )
    {
      myMarkedVertices.insert( *b );
      myQueue.push( std::make_pair( *b, 0 ) );
    }
}

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

DGtal::DepthFirstVisitor< TGraph, TMarkSet >::DepthFirstVisitor ( )

protected

Constructor. Forbidden by default (protected to avoid g++ warnings).

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

DGtal::DepthFirstVisitor< TGraph, TMarkSet >::DepthFirstVisitor ( const DepthFirstVisitor< TGraph, TMarkSet > & other )

private

Copy constructor.

Parameters:

other the object to clone. Forbidden by default.

Member Function Documentation

template<typename TGraph , typename TMarkSet >

const DGtal::DepthFirstVisitor< TGraph, TMarkSet >::Node & DGtal::DepthFirstVisitor< TGraph, TMarkSet >::current ( ) const

inline

Returns:: a const reference on the current visited vertex. The node is a pair <Vertex,Size> where the second term is the topological distance to the start vertex or set.

NB: valid only if not 'finished()'.

Definition at line 102 of file DepthFirstVisitor.ih.

{
  ASSERT( ! finished() );
  return myQueue.top();
}

template<typename TGraph , typename TMarkSet >

void DGtal::DepthFirstVisitor< TGraph, TMarkSet >::expand ( )

inline

Goes to the next vertex and taked into account the current vertex for determining the future vsited vertices. NB: valid only if not 'finished()'.

Definition at line 120 of file DepthFirstVisitor.ih.

{
  ASSERT( ! finished() );
  Node node = myQueue.top();
  Size d = node.second + 1; 
  myQueue.pop();
  VertexList tmp;
  tmp.reserve( myGraph.bestCapacity() );
  std::back_insert_iterator<VertexList> write_it = std::back_inserter( tmp );
  myGraph.writeNeighbors( write_it, node.first );
  for ( typename VertexList::const_iterator it = tmp.begin(), 
          it_end = tmp.end(); it != it_end; ++it )
    {
      typename MarkSet::const_iterator mark_it = myMarkedVertices.find( *it );
      if ( mark_it == myMarkedVertices.end() )
        {
          myMarkedVertices.insert( *it );
          myQueue.push( std::make_pair( *it, d ) );
        }
    }
}

template<typename TGraph , typename TMarkSet >

template<typename VertexPredicate >

void DGtal::DepthFirstVisitor< TGraph, TMarkSet >::expand ( const VertexPredicate & authorized_vtx )

inline

Goes to the next vertex and taked into account the current vertex for determining the future visited vertices.

Template Parameters:

VertexPredicate a type that satisfies CPredicate on Vertex.

Parameters:

authorized_vtx the predicate that should satisfy the visited vertices.

NB: valid only if not 'finished()'.

Definition at line 147 of file DepthFirstVisitor.ih.

{
  ASSERT( ! finished() );
  Node node = myQueue.top();
  Size d = node.second + 1; 
  myQueue.pop();
  VertexList tmp;
  tmp.reserve( myGraph.bestCapacity() );
  std::back_insert_iterator<VertexList> write_it = std::back_inserter( tmp );
  myGraph.writeNeighbors( write_it,
                          node.first,
                          authorized_vtx );
  for ( typename VertexList::const_iterator it = tmp.begin(), 
          it_end = tmp.end(); it != it_end; ++it )
    {
      typename MarkSet::const_iterator mark_it = myMarkedVertices.find( *it );
      if ( mark_it == myMarkedVertices.end() )
        {
          myMarkedVertices.insert( *it );
          myQueue.push( std::make_pair( *it, d ) );
        }
    }
}

template<typename TGraph , typename TMarkSet >

bool DGtal::DepthFirstVisitor< TGraph, TMarkSet >::finished ( ) const

inline

Returns:: 'true' if all possible elements have been visited.

Definition at line 94 of file DepthFirstVisitor.ih.

{
  return myQueue.empty();
}

template<typename TGraph , typename TMarkSet >

const DGtal::DepthFirstVisitor< TGraph, TMarkSet >::Graph & DGtal::DepthFirstVisitor< TGraph, TMarkSet >::graph ( ) const

inline

Returns:: a const reference on the graph that is traversed.

Definition at line 86 of file DepthFirstVisitor.ih.

{
  return myGraph;
}

template<typename TGraph , typename TMarkSet >

void DGtal::DepthFirstVisitor< TGraph, TMarkSet >::ignore ( )

inline

Goes to the next vertex but ignores the current vertex for determining the future visited vertices. Otherwise said, no future visited vertex will have this vertex as a father.

NB: valid only if not 'finished()'.

Definition at line 111 of file DepthFirstVisitor.ih.

{
  ASSERT( ! finished() );
  myQueue.pop();
}

template<typename TGraph , typename TMarkSet >

bool DGtal::DepthFirstVisitor< TGraph, TMarkSet >::isValid ( ) const

inline

Checks the validity/consistency of the object.

Returns:: 'true' if the object is valid, 'false' otherwise.

Definition at line 239 of file DepthFirstVisitor.ih.

{
  return true;
}

template<typename TGraph , typename TMarkSet >

const DGtal::DepthFirstVisitor< TGraph, TMarkSet >::MarkSet & DGtal::DepthFirstVisitor< TGraph, TMarkSet >::markedVertices ( ) const

inline

Returns:: a const reference to the current set of marked vertices. It includes the visited vertices and the vertices neighbors to the current layer of vertices. NB: O(1) operation.

Definition at line 189 of file DepthFirstVisitor.ih.

{
  return myMarkedVertices;
}

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

DepthFirstVisitor& DGtal::DepthFirstVisitor< TGraph, TMarkSet >::operator= ( const DepthFirstVisitor< TGraph, TMarkSet > & other )

private

Assignment.

Parameters:

other the object to copy.

Returns:: a reference on 'this'. Forbidden by default.

template<typename TGraph , typename TMarkSet >

void DGtal::DepthFirstVisitor< TGraph, TMarkSet >::selfDisplay ( std::ostream & out ) const

inline

Writes/Displays the object on an output stream.

Parameters:

out	the output stream where the object is written.

Definition at line 225 of file DepthFirstVisitor.ih.

{
  out << "[DepthFirstVisitor"
      << " #queue=" << myQueue.size()
      << " ]";
}

template<typename TGraph , typename TMarkSet >

void DGtal::DepthFirstVisitor< TGraph, TMarkSet >::terminate ( )

inline

Force termination of the depth first traversal. 'finished()' returns 'true' afterwards and 'current()', 'expand()', 'ignore()' have no more meaning. Furthermore, 'markedVertices()' and 'visitedVertices()' both represents the set of visited vertices.

Definition at line 174 of file DepthFirstVisitor.ih.

{
  while ( ! finished() )
    {
      Node node = myQueue.top();
      myQueue.pop();
      typename MarkSet::iterator mark_it = myMarkedVertices.find( node.first );
      ASSERT( mark_it != myMarkedVertices.end() );
      myMarkedVertices.erase( mark_it );
    }
}

template<typename TGraph , typename TMarkSet >

DGtal::DepthFirstVisitor< TGraph, TMarkSet >::MarkSet DGtal::DepthFirstVisitor< TGraph, TMarkSet >::visitedVertices ( ) const

inline

Returns:: the current set of visited vertices (a subset of marked vertices; excludes the marked vertices yet to be visited). Note that if 'finished()' is true, then 'markedVertices()' is equal to 'visitedVertices()' and should thus be preferred.

NB: computational cost is a copy of the set of marked vertices then as many deletion as the number of marked vertices yet to be visited.

See also:: markedVertices

Definition at line 197 of file DepthFirstVisitor.ih.

{
  if ( finished() ) return myMarkedVertices;
  MarkSet visitedVtx = myMarkedVertices;
  // Roll completely the queue so as to remove these vertices from the
  // set of visited vertices.
  Node start = myQueue.top();
  do {
    Node node = myQueue.top();
    myQueue.pop();
    typename MarkSet::iterator mark_it = visitedVtx.find( node.first );
    ASSERT( mark_it != visitedVtx.end() );
    visitedVtx.erase( mark_it );
    myQueue.push( node );
  } while ( myQueue.top().first != start.first );
  return visitedVtx;
}

Field Documentation

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

const Graph& DGtal::DepthFirstVisitor< TGraph, TMarkSet >::myGraph

private

The graph where the traversal takes place.

Definition at line 390 of file DepthFirstVisitor.h.

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

MarkSet DGtal::DepthFirstVisitor< TGraph, TMarkSet >::myMarkedVertices

private

Set representing the marked vertices: the ones that have been visited and the one that are going to be visited soon (at distance + 1).

Definition at line 397 of file DepthFirstVisitor.h.

Referenced by DGtal::DepthFirstVisitor< TGraph, TMarkSet >::DepthFirstVisitor().

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>

NodeQueue DGtal::DepthFirstVisitor< TGraph, TMarkSet >::myQueue

private

Queue storing the vertices that are the next visited ones in the depth-first traversal of the graph.

Definition at line 403 of file DepthFirstVisitor.h.

Referenced by DGtal::DepthFirstVisitor< TGraph, TMarkSet >::DepthFirstVisitor().

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

Data Structures

Public Types

Public Member Functions

Protected Member Functions

Private Member Functions

Private Attributes

Detailed Description

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet> class DGtal::DepthFirstVisitor< TGraph, TMarkSet >

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation

Field Documentation

template<typename TGraph, typename TMarkSet = typename TGraph::VertexSet>
class DGtal::DepthFirstVisitor< TGraph, TMarkSet >