LightImplicitDigitalSurface.h

#pragma once

#if defined(LightImplicitDigitalSurface_RECURSES)
#error Recursive header files inclusion detected in LightImplicitDigitalSurface.h
#else // defined(LightImplicitDigitalSurface_RECURSES)

#define LightImplicitDigitalSurface_RECURSES

#if !defined LightImplicitDigitalSurface_h

#define LightImplicitDigitalSurface_h

// Inclusions
#include <iostream>
#include <vector>
#include "DGtal/base/Common.h"
#include "DGtal/kernel/CPointPredicate.h"
#include "DGtal/topology/Topology.h"
#include "DGtal/topology/SurfelAdjacency.h"
#include "DGtal/topology/SurfelNeighborhood.h"
#include "DGtal/topology/BreadthFirstVisitor.h"

namespace DGtal
{

  // template class LightImplicitDigitalSurface
  template <typename TKSpace, typename TPointPredicate>
  class LightImplicitDigitalSurface
  {
  public:

    class Tracker
    {
    public:
      // -------------------- associated types --------------------
      typedef Tracker Self;
      typedef LightImplicitDigitalSurface<TKSpace,TPointPredicate>
      DigitalSurfaceContainer;
      typedef typename TKSpace::SCell Surfel;

      // -------------------- inner types --------------------
      typedef TKSpace KSpace;
      typedef SurfelNeighborhood<KSpace> Neighborhood;

    public:
      Tracker( const DigitalSurfaceContainer & aSurface, 
               const Surfel & s );

      Tracker( const Tracker & other );

      ~Tracker();

      const DigitalSurfaceContainer & surface() const;
      const Surfel & current() const;
      Dimension orthDir() const;

      void move( const Surfel & s );
      
      uint8_t adjacent( Surfel & s, Dimension d, bool pos ) const;
      
    private:
      const DigitalSurfaceContainer & mySurface;
      Neighborhood myNeighborhood;

    };

    // ----------------------- associated types ------------------------------
  public:
    typedef LightImplicitDigitalSurface<TKSpace,TPointPredicate> Self;
    typedef TKSpace KSpace;
    typedef typename KSpace::SCell Surfel;
    typedef typename KSpace::Size Size;
    // Model of CPointPredicate
    typedef TPointPredicate PointPredicate;

    // BOOST_CONCEPT_ASSERT(( CCellularGridSpaceND< KSpace > ));
    BOOST_CONCEPT_ASSERT(( CPointPredicate< PointPredicate > ));

    // ----------------------- other types ------------------------------
  public:
    typedef SurfelAdjacency<KSpace::dimension> Adjacency;
    typedef typename KSpace::Cell Cell;
    typedef typename KSpace::SCell SCell;
    typedef typename KSpace::CellSet CellSet;
    typedef typename KSpace::SCellSet SCellSet;


    // ----------------- UndirectedSimplePreGraph types ------------------
    typedef Surfel Vertex;
    typedef SCellSet VertexSet;  
    template <typename Value>
    struct VertexMap {
      typedef typename KSpace::template SurfelMap<Value>::Type Type;
    };

    // -------------------- specific types ------------------------------
    typedef BreadthFirstVisitor< Self > SelfVisitor;
    typedef typename SelfVisitor::VertexConstIterator SurfelConstIterator;
    typedef typename KSpace::Space Space;
    typedef typename KSpace::Point Point;
    typedef Tracker DigitalSurfaceTracker;

    // ----------------------- Standard services ------------------------------
  public:

    ~LightImplicitDigitalSurface();

    LightImplicitDigitalSurface ( const LightImplicitDigitalSurface & other );

    LightImplicitDigitalSurface( const KSpace & aKSpace,
                            const PointPredicate & aPP,
                            const Adjacency & adj,
                            const Surfel & s );

    const Adjacency & surfelAdjacency() const;
    Adjacency & surfelAdjacency();
    const PointPredicate & pointPredicate() const;

    // --------- CDigitalSurfaceContainer realization -------------------------
  public:

    const KSpace & space() const;
    bool isInside( const Surfel & s ) const;

    SurfelConstIterator begin() const;

    SurfelConstIterator end() const;

    Size nbSurfels() const;

    bool empty() const;

    DigitalSurfaceTracker* newTracker( const Surfel & s ) const;

    Connectedness connectedness() const;

    // ----------------- UndirectedSimplePreGraph realization --------------------
  public:
    
    Size degree( const Vertex & v ) const;

    template <typename OutputIterator>
    void writeNeighbors( OutputIterator & it,
                         const Vertex & v ) const;

    template <typename OutputIterator, typename VertexPredicate>
    void writeNeighbors( OutputIterator & it,
                         const Vertex & v,
                         const VertexPredicate & pred ) const;

    Size bestCapacity() const;


    // ----------------------- Interface --------------------------------------
  public:

    void selfDisplay ( std::ostream & out ) const;

    bool isValid() const;

    // ------------------------- Protected Datas ------------------------------
  private:
    // ------------------------- Private Datas --------------------------------
  private:
    const KSpace & myKSpace;
    const PointPredicate & myPointPredicate;
    Adjacency mySurfelAdjacency;
    Surfel mySurfel;
    mutable Tracker myTracker;

    // ------------------------- Hidden services ------------------------------
  protected:


  private:

    LightImplicitDigitalSurface & operator= ( const LightImplicitDigitalSurface & other );

    // ------------------------- Internals ------------------------------------
  private:

  }; // end of class LightImplicitDigitalSurface


  template <typename TKSpace, typename TPointPredicate>
  std::ostream&
  operator<< ( std::ostream & out, 
               const LightImplicitDigitalSurface<TKSpace, TPointPredicate> & object );

} // namespace DGtal


// Includes inline functions.
#include "DGtal/topology/LightImplicitDigitalSurface.ih"

//                                                                           //

#endif // !defined LightImplicitDigitalSurface_h

#undef LightImplicitDigitalSurface_RECURSES
#endif // else defined(LightImplicitDigitalSurface_RECURSES)