Aim: Computes and stores sets of cells and provides methods to compute intersections of lattice and rational polytopes with cells. More...

#include <DGtal/geometry/volumes/CellGeometry.h>

Inheritance diagram for DGtal::CellGeometry< TKSpace >:

[legend]

Public Types
typedef CellGeometry< TKSpace >	Self

typedef TKSpace	KSpace

typedef KSpace::Integer	Integer

typedef KSpace::Point	Point

typedef KSpace::Vector	Vector

typedef KSpace::Cell	Cell

typedef KSpace::Space	Space

typedef KSpace::Size	Size

typedef DGtal::BigInteger	BigInteger

typedef DGtal::BoundedLatticePolytope< Space >	Polytope

typedef DGtal::BoundedLatticePolytope< Space >	LatticePolytope

typedef DGtal::BoundedRationalPolytope< Space >	RationalPolytope

Public Member Functions
Standard services (construction, initialization, assignment)
	~CellGeometry ()=default

	CellGeometry ()

	CellGeometry (const Self &other)=default

	CellGeometry (Self &&other)=default

	CellGeometry (const KSpace &K, Dimension min_cell_dim=0, Dimension max_cell_dim=KSpace::dimension, bool verbose=false)

Self &	operator= (const Self &other)=default

void	init (const KSpace &K, Dimension min_cell_dim=0, Dimension max_cell_dim=KSpace::dimension, bool verbose=false)

Cells services
void	addCellsTouchingPoint (const Point &p)

void	addCellsTouchingPointel (const Cell &pointel)

void	addCellsTouchingCell (const Cell &c)

void	addCellsTouchingSegment (const Point &a, const Point &b)

template<typename PointIterator >
void	addCellsTouchingPoints (PointIterator itB, PointIterator itE)

template<typename PointelIterator >
void	addCellsTouchingPointels (PointelIterator itB, PointelIterator itE)

void	addCellsTouchingPolytopePoints (const LatticePolytope &polytope)

void	addCellsTouchingPolytopePoints (const RationalPolytope &polytope)

void	addCellsTouchingPolytope (const LatticePolytope &polytope)

void	addCellsTouchingPolytope (const RationalPolytope &polytope)

CellGeometry &	operator+= (const CellGeometry &other)

Accessor services
Size	nbCells () const

Size	computeNbCells (const Dimension k) const

Integer	computeEuler () const

Dimension	minCellDim () const

Dimension	maxCellDim () const

std::vector< Point >	getKPoints (const Dimension k) const

Cell services
bool	subset (const CellGeometry &other) const

bool	subset (const CellGeometry &other, const Dimension k) const

Helper services
std::vector< Point >	getIntersectedKPoints (const LatticePolytope &polytope, const Dimension i) const

std::vector< Point >	getIntersectedKPoints (const RationalPolytope &polytope, const Dimension i) const

std::vector< Point >	getTouchedKPoints (const std::vector< Point > &points, const Dimension i) const

std::vector< Cell >	getIntersectedCells (const LatticePolytope &polytope, const Dimension i) const

std::vector< Cell >	getIntersectedCells (const RationalPolytope &polytope, const Dimension i) const

std::vector< Cell >	getTouchedCells (const std::vector< Point > &points, const Dimension i) const

Interface services
void	selfDisplay (std::ostream &out) const

bool	isValid () const

std::string	className () const

Static Public Member Functions
Khalimsky point services
static Dimension	dim (const Point &kp)

Static Public Attributes
static const Dimension	dimension = KSpace::dimension

Protected Attributes
KSpace	myK
	The cellular space for cells.

UnorderedSetByBlock< Point, Splitter< Point, uint64_t > >	myKPoints
	The unordered set that stores cells.

Dimension	myMinCellDim
	The minimum cell dimension.

Dimension	myMaxCellDim
	The maximal cell dimension.

bool	myVerbose
	Tells if verbose mode.

Private Member Functions
	BOOST_CONCEPT_ASSERT ((concepts::CCellularGridSpaceND< TKSpace >))

Static Private Member Functions
template<typename RandomIterator >
static bool	includes (RandomIterator it2, RandomIterator itE2, RandomIterator it1, RandomIterator itE1)

Detailed Description

template<typename TKSpace>
class DGtal::CellGeometry< TKSpace >

Aim: Computes and stores sets of cells and provides methods to compute intersections of lattice and rational polytopes with cells.

Description of template class 'CellGeometry'

It is a model of boost::CopyConstructible, boost::DefaultConstructible, boost::Assignable.

Template Parameters

TKSpace an arbitrary model of CCellularGridSpaceND.

Definition at line 74 of file CellGeometry.h.

Member Typedef Documentation

◆ BigInteger

template<typename TKSpace >

typedef DGtal::BigInteger DGtal::CellGeometry< TKSpace >::BigInteger

Definition at line 88 of file CellGeometry.h.

◆ Cell

template<typename TKSpace >

typedef KSpace::Cell DGtal::CellGeometry< TKSpace >::Cell

Definition at line 84 of file CellGeometry.h.

◆ Integer

template<typename TKSpace >

typedef KSpace::Integer DGtal::CellGeometry< TKSpace >::Integer

Definition at line 81 of file CellGeometry.h.

◆ KSpace

template<typename TKSpace >

typedef TKSpace DGtal::CellGeometry< TKSpace >::KSpace

Definition at line 80 of file CellGeometry.h.

◆ LatticePolytope

template<typename TKSpace >

typedef DGtal::BoundedLatticePolytope< Space > DGtal::CellGeometry< TKSpace >::LatticePolytope

Definition at line 93 of file CellGeometry.h.

◆ Point

template<typename TKSpace >

typedef KSpace::Point DGtal::CellGeometry< TKSpace >::Point

Definition at line 82 of file CellGeometry.h.

◆ Polytope

template<typename TKSpace >

typedef DGtal::BoundedLatticePolytope< Space > DGtal::CellGeometry< TKSpace >::Polytope

Definition at line 92 of file CellGeometry.h.

◆ RationalPolytope

template<typename TKSpace >

typedef DGtal::BoundedRationalPolytope< Space > DGtal::CellGeometry< TKSpace >::RationalPolytope

Definition at line 94 of file CellGeometry.h.

◆ Self

template<typename TKSpace >

typedef CellGeometry<TKSpace> DGtal::CellGeometry< TKSpace >::Self

Definition at line 79 of file CellGeometry.h.

◆ Size

template<typename TKSpace >

typedef KSpace::Size DGtal::CellGeometry< TKSpace >::Size

Definition at line 86 of file CellGeometry.h.

◆ Space

template<typename TKSpace >

typedef KSpace::Space DGtal::CellGeometry< TKSpace >::Space

Definition at line 85 of file CellGeometry.h.

◆ Vector

template<typename TKSpace >

typedef KSpace::Vector DGtal::CellGeometry< TKSpace >::Vector

Definition at line 83 of file CellGeometry.h.

Constructor & Destructor Documentation

◆ ~CellGeometry()

template<typename TKSpace >

DGtal::CellGeometry< TKSpace >::~CellGeometry ( )

default

Destructor.

◆ CellGeometry() [1/4]

template<typename TKSpace >

DGtal::CellGeometry< TKSpace >::CellGeometry ( )

Constructor.

◆ CellGeometry() [2/4]

template<typename TKSpace >

DGtal::CellGeometry< TKSpace >::CellGeometry ( const Self & other )

default

Copy constructor.

Parameters

other the object to clone.

◆ CellGeometry() [3/4]

template<typename TKSpace >

DGtal::CellGeometry< TKSpace >::CellGeometry ( Self && other )

default

Move constructor.

Parameters

other the object to move.

◆ CellGeometry() [4/4]

template<typename TKSpace >

DGtal::CellGeometry< TKSpace >::CellGeometry	(	const KSpace &	K,
		Dimension	min_cell_dim = 0,
		Dimension	max_cell_dim = KSpace::dimension,
		bool	verbose = false )

Constructor from cellular space.

Parameters

K	any cellular grid space.
min_cell_dim	the minimum cell dimension that is used for processing.
max_cell_dim	the maximal cell dimension that is used for processing (K::dimension - 1 is sufficient to check convexity).
verbose	tells if verbose mode.

Member Function Documentation

◆ addCellsTouchingCell()

template<typename TKSpace >

void DGtal::CellGeometry< TKSpace >::addCellsTouchingCell ( const Cell & c )

Updates the cell cover with the cells whose boundary covers cell c (so c itself and its up-incident cells).

Parameters

c	any any cell

◆ addCellsTouchingPoint()

template<typename TKSpace >

void DGtal::CellGeometry< TKSpace >::addCellsTouchingPoint ( const Point & p )

Updates the cell cover with the cells touching a point p.

Parameters

p any point

◆ addCellsTouchingPointel()

template<typename TKSpace >

void DGtal::CellGeometry< TKSpace >::addCellsTouchingPointel ( const Cell & pointel )

Updates the cell cover with the cells touching a pointel pointel.

Parameters

pointel any pointel

◆ addCellsTouchingPointels()

template<typename TKSpace >

template<typename PointelIterator >

void DGtal::CellGeometry< TKSpace >::addCellsTouchingPointels	(	PointelIterator	itB,
		PointelIterator	itE )

Updates the cell cover with the cells touching a range of digital pointels [itB, itE).

◆ addCellsTouchingPoints()

template<typename TKSpace >

template<typename PointIterator >

void DGtal::CellGeometry< TKSpace >::addCellsTouchingPoints	(	PointIterator	itB,
		PointIterator	itE )

Updates the cell cover with the cells touching a range of digital points [itB, itE).

◆ addCellsTouchingPolytope() [1/2]

template<typename TKSpace >

void DGtal::CellGeometry< TKSpace >::addCellsTouchingPolytope ( const LatticePolytope & polytope )

Updates the cell cover with all the cells touching the lattice polytope (all cells whose closure have a non empty intersection with the polytope).

Parameters

polytope the lattice polytope

◆ addCellsTouchingPolytope() [2/2]

template<typename TKSpace >

void DGtal::CellGeometry< TKSpace >::addCellsTouchingPolytope ( const RationalPolytope & polytope )

Updates the cell cover with all the cells touching the rational polytope (all cells whose closure have a non empty intersection with the polytope).

Parameters

polytope the rational polytope

◆ addCellsTouchingPolytopePoints() [1/2]

template<typename TKSpace >

void DGtal::CellGeometry< TKSpace >::addCellsTouchingPolytopePoints ( const LatticePolytope & polytope )

Updates the cell cover with the cells touching the lattice points of a polytope.

Parameters

polytope the lattice polytope

◆ addCellsTouchingPolytopePoints() [2/2]

template<typename TKSpace >

void DGtal::CellGeometry< TKSpace >::addCellsTouchingPolytopePoints ( const RationalPolytope & polytope )

Updates the cell cover with the cells touching the lattice points of a rational polytope.

Parameters

polytope the rational polytope

◆ addCellsTouchingSegment()

template<typename TKSpace >

void DGtal::CellGeometry< TKSpace >::addCellsTouchingSegment	(	const Point &	a,
		const Point &	b )

Given two points a and b, updates the cell cover with all the cells intersected by the Euclidean straight segment from a to b.

Parameters

a	any point
b	any point

Note: Three times faster than building a (degenerated) lattice polytope and then calling addCellsTouchingPolytope.

◆ BOOST_CONCEPT_ASSERT()

template<typename TKSpace >

DGtal::CellGeometry< TKSpace >::BOOST_CONCEPT_ASSERT ( (concepts::CCellularGridSpaceND< TKSpace >) )

private

◆ className()

template<typename TKSpace >

std::string DGtal::CellGeometry< TKSpace >::className ( ) const

Returns: the class name. It is notably used for drawing this object.

◆ computeEuler()

template<typename TKSpace >

Integer DGtal::CellGeometry< TKSpace >::computeEuler ( ) const

Returns: computes and return the Euler chracteristic of this set of cells.

◆ computeNbCells()

template<typename TKSpace >

Size DGtal::CellGeometry< TKSpace >::computeNbCells ( const Dimension k ) const

Parameters

k	any non negative integer

Returns: computes and returns the number of k-dimensional cells in this cell geometry.

◆ dim()

template<typename TKSpace >

static Dimension DGtal::CellGeometry< TKSpace >::dim ( const Point & kp )

static

Parameters

kp	a Khalimsky point (i.e. an integer point whose coordinates parities correspond to cells).

Returns: the dimension of the cell associated to this Khalimsky point.

◆ getIntersectedCells() [1/2]

template<typename TKSpace >

std::vector< Cell > DGtal::CellGeometry< TKSpace >::getIntersectedCells	(	const LatticePolytope &	polytope,
		const Dimension	i ) const

Given a lattice polytope, such that polytope.canBeSummed()==true, return the i-cells that intersect it.

Parameters

polytope	any lattice polytope such that `polytope.canBeSummed() == true`
i	any integer between 0 and KSpace::dimension

Returns: the i-cells that intersect this polytope.

◆ getIntersectedCells() [2/2]

template<typename TKSpace >

std::vector< Cell > DGtal::CellGeometry< TKSpace >::getIntersectedCells	(	const RationalPolytope &	polytope,
		const Dimension	i ) const

Given a rational polytope, such that polytope.canBeSummed()==true, return the i-cells that intersect it.

Parameters

polytope	any rational polytope such that `polytope.canBeSummed() == true`
i	any integer between 0 and KSpace::dimension

Returns: the i-cells that intersect this polytope.

◆ getIntersectedKPoints() [1/2]

template<typename TKSpace >

std::vector< Point > DGtal::CellGeometry< TKSpace >::getIntersectedKPoints	(	const LatticePolytope &	polytope,
		const Dimension	i ) const

Given a lattice polytope, such that polytope.canBeSummed()==true, return the i-kpoints that intersect it.

Parameters

polytope	any lattice polytope such that `polytope.canBeSummed() == true`
i	any integer between 0 and KSpace::dimension

Returns: the i-kpoints that intersect this polytope.

◆ getIntersectedKPoints() [2/2]

template<typename TKSpace >

std::vector< Point > DGtal::CellGeometry< TKSpace >::getIntersectedKPoints	(	const RationalPolytope &	polytope,
		const Dimension	i ) const

Given a rational polytope, such that polytope.canBeSummed()==true, return the i-kpoints that intersect it.

Parameters

polytope	any rational polytope such that `polytope.canBeSummed() == true`
i	any integer between 0 and KSpace::dimension

Returns: the i-kpoints that intersect this polytope.

◆ getKPoints()

template<typename TKSpace >

std::vector< Point > DGtal::CellGeometry< TKSpace >::getKPoints ( const Dimension k ) const

Parameters

k	any non negative integer

Returns: the vector of k-cells, represented as points with Khalimsky coordinates.

◆ getTouchedCells()

template<typename TKSpace >

std::vector< Cell > DGtal::CellGeometry< TKSpace >::getTouchedCells	(	const std::vector< Point > &	points,
		const Dimension	i ) const

Given a vector of points, return the i-cells that touch it.

Parameters

points	any vector of points
i	any integer between 0 and KSpace::dimension (and limited to 5-D at most).

Returns: the i-cells that intersect this polytope.

◆ getTouchedKPoints()

template<typename TKSpace >

std::vector< Point > DGtal::CellGeometry< TKSpace >::getTouchedKPoints	(	const std::vector< Point > &	points,
		const Dimension	i ) const

Given a vector of points, return the i-kpoints that touch it.

Parameters

points	any vector of points
i	any integer between 0 and KSpace::dimension (and limited to 5-D at most).

Returns: the i-kpoints that intersect this polytope.

◆ includes()

template<typename TKSpace >

template<typename RandomIterator >

static bool DGtal::CellGeometry< TKSpace >::includes	(	RandomIterator	it2,
		RandomIterator	itE2,
		RandomIterator	it1,
		RandomIterator	itE1 )

staticprivate

◆ init()

template<typename TKSpace >

void DGtal::CellGeometry< TKSpace >::init	(	const KSpace &	K,
		Dimension	min_cell_dim = 0,
		Dimension	max_cell_dim = KSpace::dimension,
		bool	verbose = false )

Initialization from cellular space. If there was cells stored in this object, they are removed.

Parameters

K	any cellular grid space.
min_cell_dim	the minimum cell dimension that is used for processing.
max_cell_dim	the maximal cell dimension that is used for processing (K::dimension - 1 is sufficient to check convexity)
verbose	tells if verbose mode.

◆ isValid()

template<typename TKSpace >

bool DGtal::CellGeometry< TKSpace >::isValid ( ) const

Checks the validity/consistency of the object.

Returns: 'true' if the object is valid, 'false' otherwise.

◆ maxCellDim()

template<typename TKSpace >

Dimension DGtal::CellGeometry< TKSpace >::maxCellDim ( ) const

Returns: the highest dimension for which cells are stored in this object.

◆ minCellDim()

template<typename TKSpace >

Dimension DGtal::CellGeometry< TKSpace >::minCellDim ( ) const

Returns: the smallest dimension for which cells are stored in this object.

◆ nbCells()

template<typename TKSpace >

Size DGtal::CellGeometry< TKSpace >::nbCells ( ) const

Returns: the total number of cells in this cell geometry.

◆ operator+=()

template<typename TKSpace >

CellGeometry & DGtal::CellGeometry< TKSpace >::operator+= ( const CellGeometry< TKSpace > & other )

Adds the cells of dimension k of object other, for minCellDim() <= k <= maxCellDim(), to this cell geometry.

Parameters

other any cell geometry.

Returns: a reference to this object.

◆ operator=()

template<typename TKSpace >

Self & DGtal::CellGeometry< TKSpace >::operator= ( const Self & other )

default

Assignment.

Parameters

other the object to copy.

Returns: a reference on 'this'.

◆ selfDisplay()

template<typename TKSpace >

void DGtal::CellGeometry< TKSpace >::selfDisplay ( std::ostream & out ) const

Writes/Displays the object on an output stream.

Parameters

out	the output stream where the object is written.

◆ subset() [1/2]

template<typename TKSpace >

bool DGtal::CellGeometry< TKSpace >::subset ( const CellGeometry< TKSpace > & other ) const

Tells if the cells of 'this' are subset of the cells of other, for all valid dimensions of 'this' (i.e. from myMinCellDim till myMaxCellDim).

Parameters

other any cell geometry object

Returns: 'true' iff the cells of 'this' are subset of the cells of other.

Note: if other.maxCellDim() < k or k < other.minCellDim() then it means that other contains no cell of dimension k.

◆ subset() [2/2]

template<typename TKSpace >

bool DGtal::CellGeometry< TKSpace >::subset	(	const CellGeometry< TKSpace > &	other,
		const Dimension	k ) const

Tells if the k-cells of 'this' are subset of the k-cells of other.

Parameters

other	any cell geometry object
k	any valid dimension for cells (`0 <= k <= KSpace::dimension`)

Returns: 'true' iff the k-cells of 'this' are subset of the k-cells of other.

Note: if other.maxCellDim() < k or k < other.minCellDim() then it means that other contains no cell of dimension k.

Field Documentation

◆ dimension

template<typename TKSpace >

const Dimension DGtal::CellGeometry< TKSpace >::dimension = KSpace::dimension

static

Definition at line 96 of file CellGeometry.h.

◆ myK

template<typename TKSpace >

KSpace DGtal::CellGeometry< TKSpace >::myK

protected

The cellular space for cells.

Definition at line 381 of file CellGeometry.h.

◆ myKPoints

template<typename TKSpace >

UnorderedSetByBlock< Point, Splitter< Point, uint64_t> > DGtal::CellGeometry< TKSpace >::myKPoints

protected

The unordered set that stores cells.

Definition at line 384 of file CellGeometry.h.

◆ myMaxCellDim

template<typename TKSpace >

Dimension DGtal::CellGeometry< TKSpace >::myMaxCellDim

protected

The maximal cell dimension.

Definition at line 388 of file CellGeometry.h.

◆ myMinCellDim

template<typename TKSpace >

Dimension DGtal::CellGeometry< TKSpace >::myMinCellDim

protected

The minimum cell dimension.

Definition at line 386 of file CellGeometry.h.

◆ myVerbose

template<typename TKSpace >

bool DGtal::CellGeometry< TKSpace >::myVerbose

protected

Tells if verbose mode.

Definition at line 390 of file CellGeometry.h.

The documentation for this class was generated from the following file:

CellGeometry.h

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Protected Attributes

Private Member Functions

Static Private Member Functions

Detailed Description

Member Typedef Documentation

◆ BigInteger

◆ Cell

◆ Integer

◆ KSpace

◆ LatticePolytope

◆ Point

◆ Polytope

◆ RationalPolytope

◆ Self

◆ Size

◆ Space

◆ Vector

Constructor & Destructor Documentation

◆ ~CellGeometry()

◆ CellGeometry() [1/4]

◆ CellGeometry() [2/4]

◆ CellGeometry() [3/4]

◆ CellGeometry() [4/4]

Member Function Documentation

◆ addCellsTouchingCell()

◆ addCellsTouchingPoint()

◆ addCellsTouchingPointel()

◆ addCellsTouchingPointels()

◆ addCellsTouchingPoints()

◆ addCellsTouchingPolytope() [1/2]

◆ addCellsTouchingPolytope() [2/2]

◆ addCellsTouchingPolytopePoints() [1/2]

◆ addCellsTouchingPolytopePoints() [2/2]

◆ addCellsTouchingSegment()

◆ BOOST_CONCEPT_ASSERT()

◆ className()

◆ computeEuler()

◆ computeNbCells()

◆ dim()

◆ getIntersectedCells() [1/2]

◆ getIntersectedCells() [2/2]

◆ getIntersectedKPoints() [1/2]

◆ getIntersectedKPoints() [2/2]

◆ getKPoints()

◆ getTouchedCells()

◆ getTouchedKPoints()

◆ includes()

◆ init()

◆ isValid()

◆ maxCellDim()

◆ minCellDim()

◆ nbCells()

◆ operator+=()

◆ operator=()

◆ selfDisplay()

◆ subset() [1/2]

◆ subset() [2/2]

Field Documentation

◆ dimension

◆ myK

◆ myKPoints

◆ myMaxCellDim

◆ myMinCellDim

◆ myVerbose