CPreCellularGridSpaceND.h

 
#pragma once

 
#if defined(CPreCellularGridSpaceND_RECURSES)
#error Recursive header files inclusion detected in CPreCellularGridSpaceND.h
#else // defined(CPreCellularGridSpaceND_RECURSES)
#define CPreCellularGridSpaceND_RECURSES
 
#if !defined CPreCellularGridSpaceND_h
#define CPreCellularGridSpaceND_h

// Inclusions
#include <iostream>
#include "DGtal/base/Common.h"
#include "DGtal/base/CConstSinglePassRange.h"
#include "DGtal/kernel/CInteger.h"
#include "DGtal/kernel/CUnsignedNumber.h"
#include "DGtal/kernel/CIntegralNumber.h"

 
// @since 0.8 In DGtal::concepts
namespace DGtal {
  namespace concepts {

// class CPreCellularGridSpaceND
template <typename T>
struct CPreCellularGridSpaceND
  : boost::DefaultConstructible<T>, boost::CopyConstructible<T>
{
  // ----------------------- Concept checks ------------------------------
public:
  typedef typename T::Integer Integer;
  typedef typename T::Space Space;
  typedef typename T::PreCellularGridSpace PreCellularGridSpace;
  typedef typename T::Cell Cell;
  typedef typename T::SCell SCell;
  typedef typename T::Surfel Surfel;
  typedef typename T::Sign Sign;
  typedef typename T::DirIterator DirIterator;
  typedef typename T::Point Point;
  typedef typename T::Vector Vector;
  typedef typename T::Cells Cells;
  typedef typename T::SCells SCells;
  typedef typename T::CellSet CellSet;
  typedef typename T::SCellSet SCellSet;
  typedef typename T::SurfelSet SurfelSet;
  typedef int Dummy;
  typedef typename T::template CellMap<Dummy>::Type CellMap;
  typedef typename T::template SCellMap<Dummy>::Type SCellMap;
  typedef typename T::template SurfelMap<Dummy>::Type SurfelMap;
 
  BOOST_CONCEPT_ASSERT(( CInteger< Integer > ));
  BOOST_STATIC_ASSERT(( ConceptUtils::SameType< Integer, typename Space::Integer >::value ));
  BOOST_STATIC_ASSERT(( ConceptUtils::SameType< Point, typename Space::Point >::value ));
  BOOST_STATIC_ASSERT(( ConceptUtils::SameType< Vector, typename Space::Vector >::value ));
  BOOST_CONCEPT_ASSERT(( CConstSinglePassRange< Cells > ));
  BOOST_CONCEPT_ASSERT(( CConstSinglePassRange< SCells > ));
  BOOST_CONCEPT_ASSERT(( boost::UniqueAssociativeContainer< CellSet > ));
  BOOST_CONCEPT_ASSERT(( boost::UniqueAssociativeContainer< SCellSet > ));
  BOOST_CONCEPT_ASSERT(( boost::UniqueAssociativeContainer< SurfelSet > ));
  BOOST_CONCEPT_ASSERT(( boost::SimpleAssociativeContainer< CellSet > ));
  BOOST_CONCEPT_ASSERT(( boost::SimpleAssociativeContainer< SCellSet > ));
  BOOST_CONCEPT_ASSERT(( boost::SimpleAssociativeContainer< SurfelSet > ));
  BOOST_CONCEPT_ASSERT(( boost::UniqueAssociativeContainer< CellMap > ));
  BOOST_CONCEPT_ASSERT(( boost::UniqueAssociativeContainer< SCellMap > ));
  BOOST_CONCEPT_ASSERT(( boost::UniqueAssociativeContainer< SurfelMap > ));
  BOOST_CONCEPT_ASSERT(( boost::PairAssociativeContainer< CellMap > ));
  BOOST_CONCEPT_ASSERT(( boost::PairAssociativeContainer< SCellMap > ));
  BOOST_CONCEPT_ASSERT(( boost::PairAssociativeContainer< SurfelMap > ));
 
  BOOST_CONCEPT_USAGE( CPreCellularGridSpaceND )
  {
    ConceptUtils::sameType( myDim, T::dimension );
    ConceptUtils::sameType( myDim, T::DIM );
    ConceptUtils::sameType( mySign, T::POS );
    ConceptUtils::sameType( mySign, T::NEG );
    checkConstConstraints();
  }
  void checkConstConstraints() const
  {
    ConceptUtils::sameType( myCell, myX.uCell( myP1 ) );
    ConceptUtils::sameType( myCell, myX.uCell( myP1, myCell ) );
    ConceptUtils::sameType( mySCell, myX.sCell( myP1 ) );
    ConceptUtils::sameType( mySCell, myX.sCell( myP1, mySign ) );
    ConceptUtils::sameType( mySCell, myX.sCell( myP1, mySCell ) );
    ConceptUtils::sameType( myCell, myX.uSpel( myP1 ) );
    ConceptUtils::sameType( mySCell, myX.sSpel( myP1 ) );
    ConceptUtils::sameType( mySCell, myX.sSpel( myP1, myBool ) );
    ConceptUtils::sameType( myCell, myX.uPointel( myP1 ) );
    ConceptUtils::sameType( mySCell, myX.sPointel( myP1 ) );
    ConceptUtils::sameType( mySCell, myX.sPointel( myP1, myBool ) );
    ConceptUtils::sameType( myInteger, myX.uKCoord( myCell, myDim ) );
    ConceptUtils::sameType( myInteger, myX.uCoord( myCell, myDim ) );
    ConceptUtils::sameType( myP1, myX.uKCoords( myCell ) );
    ConceptUtils::sameType( myP1, myX.uCoords( myCell ) );
    ConceptUtils::sameType( myInteger, myX.sKCoord( mySCell, myDim ) );
    ConceptUtils::sameType( myInteger, myX.sCoord( mySCell, myDim ) );
    ConceptUtils::sameType( myP1, myX.sKCoords( mySCell ) );
    ConceptUtils::sameType( myP1, myX.sCoords( mySCell ) );
    myX.uSetKCoord( myMutableCell, myDim, myInteger );
    myX.uSetCoord( myMutableCell, myDim, myInteger );
    myX.uSetKCoords( myMutableCell, myP1 );
    myX.uSetCoords( myMutableCell, myP1 );
    myX.sSetKCoord( myMutableSCell, myDim, myInteger );
    myX.sSetCoord( myMutableSCell, myDim, myInteger );
    myX.sSetKCoords( myMutableSCell, myP1 );
    myX.sSetCoords( myMutableSCell, myP1 );
    ConceptUtils::sameType( mySign, myX.sSign( mySCell ) );
    myX.sSetSign( myMutableSCell, mySign );
    ConceptUtils::sameType( mySCell, myX.signs( myCell, mySign ) );
    ConceptUtils::sameType( mySCell, myX.sOpp( mySCell ) );
    ConceptUtils::sameType( myCell, myX.unsigns( mySCell ) );
    ConceptUtils::sameType( myInteger, myX.uTopology( myCell ) );
    ConceptUtils::sameType( myInteger, myX.sTopology( mySCell ) );
    ConceptUtils::sameType( myDim, myX.uDim( myCell ) );
    ConceptUtils::sameType( myDim, myX.sDim( mySCell ) );
    ConceptUtils::sameType( myBool, myX.uIsSurfel( myCell ) );
    ConceptUtils::sameType( myBool, myX.sIsSurfel( mySCell ) );
    ConceptUtils::sameType( myBool, myX.uIsOpen( myCell, myDim ) );
    ConceptUtils::sameType( myBool, myX.sIsOpen( mySCell, myDim ) );
    ConceptUtils::sameType( myDirIt, myX.uDirs( myCell ) );
    ConceptUtils::sameType( myDirIt, myX.sDirs( mySCell ) );
    ConceptUtils::sameType( myDirIt, myX.uOrthDirs( myCell ) );
    ConceptUtils::sameType( myDirIt, myX.sOrthDirs( mySCell ) );
    ConceptUtils::sameType( myDim, myX.uOrthDir( myCell ) );
    ConceptUtils::sameType( myDim, myX.sOrthDir( mySCell ) );
    // -------------------- Unsigned cell geometry services --------------------
    ConceptUtils::sameType( myCell, myX.uGetIncr( myCell, myDim ) );
    ConceptUtils::sameType( myCell, myX.uGetDecr( myCell, myDim ) );
    ConceptUtils::sameType( myBool, myX.uIsMax( myCell, myDim ) );
    ConceptUtils::sameType( myBool, myX.uIsMin( myCell, myDim ) );
    ConceptUtils::sameType( myBool, myX.uIsInside( myCell, myDim ) );
    ConceptUtils::sameType( myCell, myX.uGetAdd( myCell, myDim, myInteger ) );
    ConceptUtils::sameType( myCell, myX.uGetSub( myCell, myDim, myInteger ) );
    ConceptUtils::sameType( myCell, myX.uTranslation( myCell, myV ) );
    ConceptUtils::sameType( myCell, myX.uProjection( myCell, myCell, myDim ) );
    myX.uProject( myMutableCell, myCell, myDim );
    ConceptUtils::sameType( myBool, myX.uNext( myMutableCell, myCell, myCell ) );
    // -------------------- Signed cell geometry services --------------------
    ConceptUtils::sameType( mySCell, myX.sGetIncr( mySCell, myDim ) );
    ConceptUtils::sameType( mySCell, myX.sGetDecr( mySCell, myDim ) );
    ConceptUtils::sameType( myBool, myX.sIsMax( mySCell, myDim ) );
    ConceptUtils::sameType( myBool, myX.sIsMin( mySCell, myDim ) );
    ConceptUtils::sameType( myBool, myX.sIsInside( mySCell, myDim ) );
    ConceptUtils::sameType( mySCell, myX.sGetAdd( mySCell, myDim, myInteger ) );
    ConceptUtils::sameType( mySCell, myX.sGetSub( mySCell, myDim, myInteger ) );
    ConceptUtils::sameType( mySCell, myX.sTranslation( mySCell, myV ) );
    ConceptUtils::sameType( mySCell, myX.sProjection( mySCell, mySCell, myDim ) );
    myX.sProject( myMutableSCell, mySCell, myDim );
    ConceptUtils::sameType( myBool, myX.sNext( myMutableSCell, mySCell, mySCell ) );
    // ----------------------- Neighborhood services --------------------------
    ConceptUtils::sameType( myCells, myX.uNeighborhood( myCell ) );
    ConceptUtils::sameType( myCells, myX.uProperNeighborhood( myCell ) );
    ConceptUtils::sameType( mySCells, myX.sNeighborhood( mySCell ) );
    ConceptUtils::sameType( mySCells, myX.sProperNeighborhood( mySCell ) );
    ConceptUtils::sameType( myCell, myX.uAdjacent( myCell, myDim, myBool ) );
    ConceptUtils::sameType( mySCell, myX.sAdjacent( mySCell, myDim, myBool ) );
    // ----------------------- Incidence services --------------------------
    ConceptUtils::sameType( myCell, myX.uIncident( myCell, myDim, myBool ) );
    ConceptUtils::sameType( mySCell, myX.sIncident( mySCell, myDim, myBool ) );
    ConceptUtils::sameType( myCells, myX.uLowerIncident( myCell ) );
    ConceptUtils::sameType( myCells, myX.uUpperIncident( myCell ) );
    ConceptUtils::sameType( mySCells, myX.sLowerIncident( mySCell ) );
    ConceptUtils::sameType( mySCells, myX.sUpperIncident( mySCell ) );
    ConceptUtils::sameType( myCells, myX.uFaces( myCell ) );
    ConceptUtils::sameType( myCells, myX.uCoFaces( myCell ) );
    ConceptUtils::sameType( myBool, myX.sDirect( mySCell, myDim ) );
    ConceptUtils::sameType( mySCell, myX.sDirectIncident( mySCell, myDim ) );
    ConceptUtils::sameType( mySCell, myX.sIndirectIncident( mySCell, myDim ) );
    ConceptUtils::sameType( mySCell, myX.sIndirectIncident( mySCell, myDim ) );
    ConceptUtils::sameType( myP1, myX.interiorVoxel( mySCell) );
    ConceptUtils::sameType( myP1, myX.exteriorVoxel( mySCell) );
 
}
  // ------------------------- Private Data --------------------------------
private:
  T myX; // do not require T to be default constructible.
  Integer myInteger;
  Dimension myDim;
  Point myP1, myP2;
  Vector myV;
  Cell myCell;
  SCell mySCell;
  mutable Cell myMutableCell;
  mutable SCell myMutableSCell;
  bool myBool;
  Sign mySign;
  DirIterator myDirIt;
  Cells myCells;
  SCells mySCells;
 
    // ------------------------- Internals ------------------------------------
private:
 
}; // end of concept CPreCellularGridSpaceND
 
} // namespace concepts
} // namespace DGtal
 
//                                                                           //
 
#endif // !defined CPreCellularGridSpaceND_h
 
#undef CPreCellularGridSpaceND_RECURSES
#endif // else defined(CPreCellularGridSpaceND_RECURSES)