DGtal  1.5.beta
CPreCellularGridSpaceND.h
1 
17 #pragma once
18 
33 #if defined(CPreCellularGridSpaceND_RECURSES)
34 #error Recursive header files inclusion detected in CPreCellularGridSpaceND.h
35 #else // defined(CPreCellularGridSpaceND_RECURSES)
37 #define CPreCellularGridSpaceND_RECURSES
38 
39 #if !defined CPreCellularGridSpaceND_h
41 #define CPreCellularGridSpaceND_h
42 
44 // Inclusions
45 #include <iostream>
46 #include "DGtal/base/Common.h"
47 #include "DGtal/base/CConstSinglePassRange.h"
48 #include "DGtal/kernel/CInteger.h"
49 #include "DGtal/kernel/CUnsignedNumber.h"
50 #include "DGtal/kernel/CIntegralNumber.h"
51 
53 
54 // @since 0.8 In DGtal::concepts
55 namespace DGtal {
56  namespace concepts {
57 
59 // class CPreCellularGridSpaceND
284 template <typename T>
285 struct CPreCellularGridSpaceND
286  : boost::DefaultConstructible<T>, boost::CopyConstructible<T>
287 {
288  // ----------------------- Concept checks ------------------------------
289 public:
290  typedef typename T::Integer Integer;
291  typedef typename T::Space Space;
292  typedef typename T::PreCellularGridSpace PreCellularGridSpace;
293  typedef typename T::Cell Cell;
294  typedef typename T::SCell SCell;
295  typedef typename T::Surfel Surfel;
296  typedef typename T::Sign Sign;
297  typedef typename T::DirIterator DirIterator;
298  typedef typename T::Point Point;
299  typedef typename T::Vector Vector;
300  typedef typename T::Cells Cells;
301  typedef typename T::SCells SCells;
302  typedef typename T::CellSet CellSet;
303  typedef typename T::SCellSet SCellSet;
304  typedef typename T::SurfelSet SurfelSet;
305  typedef int Dummy;
306  typedef typename T::template CellMap<Dummy>::Type CellMap;
307  typedef typename T::template SCellMap<Dummy>::Type SCellMap;
308  typedef typename T::template SurfelMap<Dummy>::Type SurfelMap;
309 
310  BOOST_CONCEPT_ASSERT(( CInteger< Integer > ));
311  BOOST_STATIC_ASSERT(( ConceptUtils::SameType< Integer, typename Space::Integer >::value ));
312  BOOST_STATIC_ASSERT(( ConceptUtils::SameType< Point, typename Space::Point >::value ));
313  BOOST_STATIC_ASSERT(( ConceptUtils::SameType< Vector, typename Space::Vector >::value ));
314  BOOST_CONCEPT_ASSERT(( CConstSinglePassRange< Cells > ));
315  BOOST_CONCEPT_ASSERT(( CConstSinglePassRange< SCells > ));
316  BOOST_CONCEPT_ASSERT(( boost::UniqueAssociativeContainer< CellSet > ));
317  BOOST_CONCEPT_ASSERT(( boost::UniqueAssociativeContainer< SCellSet > ));
318  BOOST_CONCEPT_ASSERT(( boost::UniqueAssociativeContainer< SurfelSet > ));
319  BOOST_CONCEPT_ASSERT(( boost::SimpleAssociativeContainer< CellSet > ));
320  BOOST_CONCEPT_ASSERT(( boost::SimpleAssociativeContainer< SCellSet > ));
321  BOOST_CONCEPT_ASSERT(( boost::SimpleAssociativeContainer< SurfelSet > ));
322  BOOST_CONCEPT_ASSERT(( boost::UniqueAssociativeContainer< CellMap > ));
323  BOOST_CONCEPT_ASSERT(( boost::UniqueAssociativeContainer< SCellMap > ));
324  BOOST_CONCEPT_ASSERT(( boost::UniqueAssociativeContainer< SurfelMap > ));
325  BOOST_CONCEPT_ASSERT(( boost::PairAssociativeContainer< CellMap > ));
326  BOOST_CONCEPT_ASSERT(( boost::PairAssociativeContainer< SCellMap > ));
327  BOOST_CONCEPT_ASSERT(( boost::PairAssociativeContainer< SurfelMap > ));
328 
329  BOOST_CONCEPT_USAGE( CPreCellularGridSpaceND )
330  {
331  ConceptUtils::sameType( myDim, T::dimension );
332  ConceptUtils::sameType( myDim, T::DIM );
333  ConceptUtils::sameType( mySign, T::POS );
334  ConceptUtils::sameType( mySign, T::NEG );
335  checkConstConstraints();
336  }
337  void checkConstConstraints() const
338  {
339  ConceptUtils::sameType( myCell, myX.uCell( myP1 ) );
340  ConceptUtils::sameType( myCell, myX.uCell( myP1, myCell ) );
341  ConceptUtils::sameType( mySCell, myX.sCell( myP1 ) );
342  ConceptUtils::sameType( mySCell, myX.sCell( myP1, mySign ) );
343  ConceptUtils::sameType( mySCell, myX.sCell( myP1, mySCell ) );
344  ConceptUtils::sameType( myCell, myX.uSpel( myP1 ) );
345  ConceptUtils::sameType( mySCell, myX.sSpel( myP1 ) );
346  ConceptUtils::sameType( mySCell, myX.sSpel( myP1, myBool ) );
347  ConceptUtils::sameType( myCell, myX.uPointel( myP1 ) );
348  ConceptUtils::sameType( mySCell, myX.sPointel( myP1 ) );
349  ConceptUtils::sameType( mySCell, myX.sPointel( myP1, myBool ) );
350  ConceptUtils::sameType( myInteger, myX.uKCoord( myCell, myDim ) );
351  ConceptUtils::sameType( myInteger, myX.uCoord( myCell, myDim ) );
352  ConceptUtils::sameType( myP1, myX.uKCoords( myCell ) );
353  ConceptUtils::sameType( myP1, myX.uCoords( myCell ) );
354  ConceptUtils::sameType( myInteger, myX.sKCoord( mySCell, myDim ) );
355  ConceptUtils::sameType( myInteger, myX.sCoord( mySCell, myDim ) );
356  ConceptUtils::sameType( myP1, myX.sKCoords( mySCell ) );
357  ConceptUtils::sameType( myP1, myX.sCoords( mySCell ) );
358  myX.uSetKCoord( myMutableCell, myDim, myInteger );
359  myX.uSetCoord( myMutableCell, myDim, myInteger );
360  myX.uSetKCoords( myMutableCell, myP1 );
361  myX.uSetCoords( myMutableCell, myP1 );
362  myX.sSetKCoord( myMutableSCell, myDim, myInteger );
363  myX.sSetCoord( myMutableSCell, myDim, myInteger );
364  myX.sSetKCoords( myMutableSCell, myP1 );
365  myX.sSetCoords( myMutableSCell, myP1 );
366  ConceptUtils::sameType( mySign, myX.sSign( mySCell ) );
367  myX.sSetSign( myMutableSCell, mySign );
368  ConceptUtils::sameType( mySCell, myX.signs( myCell, mySign ) );
369  ConceptUtils::sameType( mySCell, myX.sOpp( mySCell ) );
370  ConceptUtils::sameType( myCell, myX.unsigns( mySCell ) );
371  ConceptUtils::sameType( myInteger, myX.uTopology( myCell ) );
372  ConceptUtils::sameType( myInteger, myX.sTopology( mySCell ) );
373  ConceptUtils::sameType( myDim, myX.uDim( myCell ) );
374  ConceptUtils::sameType( myDim, myX.sDim( mySCell ) );
375  ConceptUtils::sameType( myBool, myX.uIsSurfel( myCell ) );
376  ConceptUtils::sameType( myBool, myX.sIsSurfel( mySCell ) );
377  ConceptUtils::sameType( myBool, myX.uIsOpen( myCell, myDim ) );
378  ConceptUtils::sameType( myBool, myX.sIsOpen( mySCell, myDim ) );
379  ConceptUtils::sameType( myDirIt, myX.uDirs( myCell ) );
380  ConceptUtils::sameType( myDirIt, myX.sDirs( mySCell ) );
381  ConceptUtils::sameType( myDirIt, myX.uOrthDirs( myCell ) );
382  ConceptUtils::sameType( myDirIt, myX.sOrthDirs( mySCell ) );
383  ConceptUtils::sameType( myDim, myX.uOrthDir( myCell ) );
384  ConceptUtils::sameType( myDim, myX.sOrthDir( mySCell ) );
385  // -------------------- Unsigned cell geometry services --------------------
386  ConceptUtils::sameType( myCell, myX.uGetIncr( myCell, myDim ) );
387  ConceptUtils::sameType( myCell, myX.uGetDecr( myCell, myDim ) );
388  ConceptUtils::sameType( myBool, myX.uIsMax( myCell, myDim ) );
389  ConceptUtils::sameType( myBool, myX.uIsMin( myCell, myDim ) );
390  ConceptUtils::sameType( myBool, myX.uIsInside( myCell, myDim ) );
391  ConceptUtils::sameType( myCell, myX.uGetAdd( myCell, myDim, myInteger ) );
392  ConceptUtils::sameType( myCell, myX.uGetSub( myCell, myDim, myInteger ) );
393  ConceptUtils::sameType( myCell, myX.uTranslation( myCell, myV ) );
394  ConceptUtils::sameType( myCell, myX.uProjection( myCell, myCell, myDim ) );
395  myX.uProject( myMutableCell, myCell, myDim );
396  ConceptUtils::sameType( myBool, myX.uNext( myMutableCell, myCell, myCell ) );
397  // -------------------- Signed cell geometry services --------------------
398  ConceptUtils::sameType( mySCell, myX.sGetIncr( mySCell, myDim ) );
399  ConceptUtils::sameType( mySCell, myX.sGetDecr( mySCell, myDim ) );
400  ConceptUtils::sameType( myBool, myX.sIsMax( mySCell, myDim ) );
401  ConceptUtils::sameType( myBool, myX.sIsMin( mySCell, myDim ) );
402  ConceptUtils::sameType( myBool, myX.sIsInside( mySCell, myDim ) );
403  ConceptUtils::sameType( mySCell, myX.sGetAdd( mySCell, myDim, myInteger ) );
404  ConceptUtils::sameType( mySCell, myX.sGetSub( mySCell, myDim, myInteger ) );
405  ConceptUtils::sameType( mySCell, myX.sTranslation( mySCell, myV ) );
406  ConceptUtils::sameType( mySCell, myX.sProjection( mySCell, mySCell, myDim ) );
407  myX.sProject( myMutableSCell, mySCell, myDim );
408  ConceptUtils::sameType( myBool, myX.sNext( myMutableSCell, mySCell, mySCell ) );
409  // ----------------------- Neighborhood services --------------------------
410  ConceptUtils::sameType( myCells, myX.uNeighborhood( myCell ) );
411  ConceptUtils::sameType( myCells, myX.uProperNeighborhood( myCell ) );
412  ConceptUtils::sameType( mySCells, myX.sNeighborhood( mySCell ) );
413  ConceptUtils::sameType( mySCells, myX.sProperNeighborhood( mySCell ) );
414  ConceptUtils::sameType( myCell, myX.uAdjacent( myCell, myDim, myBool ) );
415  ConceptUtils::sameType( mySCell, myX.sAdjacent( mySCell, myDim, myBool ) );
416  // ----------------------- Incidence services --------------------------
417  ConceptUtils::sameType( myCell, myX.uIncident( myCell, myDim, myBool ) );
418  ConceptUtils::sameType( mySCell, myX.sIncident( mySCell, myDim, myBool ) );
419  ConceptUtils::sameType( myCells, myX.uLowerIncident( myCell ) );
420  ConceptUtils::sameType( myCells, myX.uUpperIncident( myCell ) );
421  ConceptUtils::sameType( mySCells, myX.sLowerIncident( mySCell ) );
422  ConceptUtils::sameType( mySCells, myX.sUpperIncident( mySCell ) );
423  ConceptUtils::sameType( myCells, myX.uFaces( myCell ) );
424  ConceptUtils::sameType( myCells, myX.uCoFaces( myCell ) );
425  ConceptUtils::sameType( myBool, myX.sDirect( mySCell, myDim ) );
426  ConceptUtils::sameType( mySCell, myX.sDirectIncident( mySCell, myDim ) );
427  ConceptUtils::sameType( mySCell, myX.sIndirectIncident( mySCell, myDim ) );
428  ConceptUtils::sameType( mySCell, myX.sIndirectIncident( mySCell, myDim ) );
429  ConceptUtils::sameType( myP1, myX.interiorVoxel( mySCell) );
430  ConceptUtils::sameType( myP1, myX.exteriorVoxel( mySCell) );
431 
432 }
433  // ------------------------- Private Datas --------------------------------
434 private:
435  T myX; // do not require T to be default constructible.
436  Integer myInteger;
437  Dimension myDim;
438  Point myP1, myP2;
439  Vector myV;
440  Cell myCell;
441  SCell mySCell;
442  mutable Cell myMutableCell;
443  mutable SCell myMutableSCell;
444  bool myBool;
445  Sign mySign;
446  DirIterator myDirIt;
447  Cells myCells;
448  SCells mySCells;
449 
450  // ------------------------- Internals ------------------------------------
451 private:
452 
453 }; // end of concept CPreCellularGridSpaceND
454 
455 } // namespace concepts
456 } // namespace DGtal
457 
458 // //
460 
461 #endif // !defined CPreCellularGridSpaceND_h
462 
463 #undef CPreCellularGridSpaceND_RECURSES
464 #endif // else defined(CPreCellularGridSpaceND_RECURSES)
SCell
Z3i::SCell SCell
Definition: digitalPolyhedronBuilder3D.cpp:79
Vector
DigitalPlane::Point Vector
Definition: examplePlaneProbingParallelepipedEstimator.cpp:45
SurfelSet
MyDigitalSurface::SurfelSet SurfelSet
Definition: greedy-plane-segmentation-ex2.cpp:95
DGtal::concepts::ConceptUtils::sameType
void sameType(const T &, const T &)
Definition: ConceptUtils.h:117
DGtal
DGtal is the top-level namespace which contains all DGtal functions and types.
DGtal::Dimension
DGtal::uint32_t Dimension
Definition: Common.h:136
DGtal::concepts::CConstSinglePassRange
Aim: Defines the concept describing a const single pass range.
Definition: CConstSinglePassRange.h:93
DGtal::concepts::CInteger
Aim: Concept checking for Integer Numbers. More precisely, this concept is a refinement of both CEucl...
Definition: CInteger.h:88
DGtal::concepts::CPreCellularGridSpaceND
Aim: This concept describes an unbounded cellular grid space in nD. In these spaces obtained by carte...
Definition: CPreCellularGridSpaceND.h:287
DGtal::concepts::CPreCellularGridSpaceND::BOOST_STATIC_ASSERT
BOOST_STATIC_ASSERT((ConceptUtils::SameType< Integer, typename Space::Integer >::value))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((CConstSinglePassRange< Cells >))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((boost::UniqueAssociativeContainer< SCellMap >))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_STATIC_ASSERT
BOOST_STATIC_ASSERT((ConceptUtils::SameType< Point, typename Space::Point >::value))
DGtal::concepts::CPreCellularGridSpaceND::CellMap
T::template CellMap< Dummy >::Type CellMap
Definition: CPreCellularGridSpaceND.h:306
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((CInteger< Integer >))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((boost::UniqueAssociativeContainer< CellSet >))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((boost::PairAssociativeContainer< SCellMap >))
DGtal::concepts::CPreCellularGridSpaceND::SurfelMap
T::template SurfelMap< Dummy >::Type SurfelMap
Definition: CPreCellularGridSpaceND.h:308
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((boost::UniqueAssociativeContainer< CellMap >))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((boost::SimpleAssociativeContainer< SCellSet >))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_STATIC_ASSERT
BOOST_STATIC_ASSERT((ConceptUtils::SameType< Vector, typename Space::Vector >::value))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((CConstSinglePassRange< SCells >))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((boost::PairAssociativeContainer< SurfelMap >))
DGtal::concepts::CPreCellularGridSpaceND::SCellMap
T::template SCellMap< Dummy >::Type SCellMap
Definition: CPreCellularGridSpaceND.h:307
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((boost::UniqueAssociativeContainer< SCellSet >))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((boost::SimpleAssociativeContainer< SurfelSet >))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((boost::UniqueAssociativeContainer< SurfelMap >))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((boost::SimpleAssociativeContainer< CellSet >))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((boost::UniqueAssociativeContainer< SurfelSet >))
DGtal::concepts::CPreCellularGridSpaceND::BOOST_CONCEPT_ASSERT
BOOST_CONCEPT_ASSERT((boost::PairAssociativeContainer< CellMap >))
boost::CopyConstructible
Go to http://www.sgi.com/tech/stl/CopyConstructible.html.
Definition: Boost.dox:34
boost::DefaultConstructible
Go to http://www.sgi.com/tech/stl/DefaultConstructible.html.
Definition: Boost.dox:30
boost::PairAssociativeContainer
Go to http://www.sgi.com/tech/stl/PairAssociativeContainer.html.
Definition: Boost.dox:149
boost::SimpleAssociativeContainer
Go to http://www.sgi.com/tech/stl/SimpleAssociativeContainer.html.
Definition: Boost.dox:146
boost::UniqueAssociativeContainer
Go to http://www.sgi.com/tech/stl/UniqueAssociativeContainer.html.
Definition: Boost.dox:140
Point
MyPointD Point
Definition: testClone2.cpp:383
Cell
KSpace::Cell Cell
Definition: testCubicalComplex.cpp:56