DepthFirstVisitor.ih

#include <cstdlib>

// IMPLEMENTATION of inline methods.

// ----------------------- Standard services ------------------------------

//-----------------------------------------------------------------------------
template < typename TGraph, typename TMarkSet >
inline
DGtal::DepthFirstVisitor<TGraph,TMarkSet>::~DepthFirstVisitor()
{
}
//-----------------------------------------------------------------------------
template < typename TGraph, typename TMarkSet >
inline
DGtal::DepthFirstVisitor<TGraph,TMarkSet>
::DepthFirstVisitor( const Graph & g )
  : myGraph( g )
{
}
//-----------------------------------------------------------------------------
template < typename TGraph, typename TMarkSet >
inline
DGtal::DepthFirstVisitor<TGraph,TMarkSet>
::DepthFirstVisitor( const Graph & g, const Vertex & p )
  : myGraph( g )
{
  myMarkedVertices.insert( p );
  myQueue.push( std::make_pair( p, 0 ) );
}
//-----------------------------------------------------------------------------
template < typename TGraph, typename TMarkSet >
template <typename VertexIterator>
inline
DGtal::DepthFirstVisitor<TGraph,TMarkSet>
::DepthFirstVisitor( const Graph & g,
                       VertexIterator b, VertexIterator e )
  : myGraph( g )
{
  for ( ; b != e; ++b )
    {
      myMarkedVertices.insert( *b );
      myQueue.push( std::make_pair( *b, 0 ) );
    }
}
//-----------------------------------------------------------------------------
template < typename TGraph, typename TMarkSet >
inline
const typename DGtal::DepthFirstVisitor<TGraph,TMarkSet>::Graph & 
DGtal::DepthFirstVisitor<TGraph,TMarkSet>::graph() const
{
  return myGraph;
}
//-----------------------------------------------------------------------------
template < typename TGraph, typename TMarkSet >
inline
bool
DGtal::DepthFirstVisitor<TGraph,TMarkSet>::finished() const
{
  return myQueue.empty();
}
//-----------------------------------------------------------------------------
template < typename TGraph, typename TMarkSet >
inline
const typename DGtal::DepthFirstVisitor<TGraph,TMarkSet>::Node & 
DGtal::DepthFirstVisitor<TGraph,TMarkSet>::current() const
{
  ASSERT( ! finished() );
  return myQueue.top();
}
//-----------------------------------------------------------------------------
template < typename TGraph, typename TMarkSet >
inline
void
DGtal::DepthFirstVisitor<TGraph,TMarkSet>::ignore()
{
  ASSERT( ! finished() );
  myQueue.pop();
}
//-----------------------------------------------------------------------------
template < typename TGraph, typename TMarkSet >
inline
void
DGtal::DepthFirstVisitor<TGraph,TMarkSet>::expand()
{
  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>
inline
void
DGtal::DepthFirstVisitor<TGraph,TMarkSet>::expand
( const VertexPredicate & authorized_vtx )
{
  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 >
inline
void
DGtal::DepthFirstVisitor<TGraph,TMarkSet>::terminate()
{
  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 >
inline
const typename DGtal::DepthFirstVisitor<TGraph,TMarkSet>::MarkSet & 
DGtal::DepthFirstVisitor<TGraph,TMarkSet>::markedVertices() const
{
  return myMarkedVertices;
}
//-----------------------------------------------------------------------------
template < typename TGraph, typename TMarkSet >
inline
typename DGtal::DepthFirstVisitor<TGraph,TMarkSet>::MarkSet
DGtal::DepthFirstVisitor<TGraph,TMarkSet>::visitedVertices() const
{
  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;
}

// Interface - public :

template < typename TGraph, typename TMarkSet >
inline
void
DGtal::DepthFirstVisitor<TGraph,TMarkSet>::selfDisplay ( std::ostream & out ) const
{
  out << "[DepthFirstVisitor"
      << " #queue=" << myQueue.size()
      << " ]";
}

template < typename TGraph, typename TMarkSet >
inline
bool
DGtal::DepthFirstVisitor<TGraph,TMarkSet>::isValid() const
{
  return true;
}



// Implementation of inline functions                                        //

template < typename TGraph, typename TMarkSet >
inline
std::ostream&
DGtal::operator<< ( std::ostream & out, 
                    const DepthFirstVisitor<TGraph,TMarkSet> & object )
{
  object.selfDisplay( out );
  return out;
}

//                                                                           //