DGtal 1.3.0
Loading...
Searching...
No Matches
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
55namespace DGtal {
56 namespace concepts {
57
59// class CPreCellularGridSpaceND
284template <typename T>
285struct CPreCellularGridSpaceND
286 : boost::DefaultConstructible<T>, boost::CopyConstructible<T>
287{
288 // ----------------------- Concept checks ------------------------------
289public:
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 --------------------------------
434private:
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 ------------------------------------
451private:
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)
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.
Definition: ClosedIntegerHalfPlane.h:49
DGtal::Dimension
DGtal::uint32_t Dimension
Definition: Common.h:137
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
Generated on Sun Nov 27 2022 15:15:51 for DGtal by doxygen 1.9.5