This class provides a h-set in an arbitrary dimension. More...

#include <capd/covrel/HSetND.h>

Public Types
typedef IVectorT::ScalarType	ScalarType

typedef VectorT::ScalarType	BoundType

typedef VectorT	VectorType

typedef IVectorT	IVectorType

typedef MatrixT	MatrixType

typedef IMatrixT	IMatrixType

typedef VectorType::size_type	size_type

Public Member Functions
	HSetND ()

	HSetND (const VectorType &center, const MatrixType &M, size_type d1, size_type d2, const VectorType &r)

	HSetND (const IVectorType &center, const IMatrixType &M, size_type d1, size_type d2, const VectorType &r)

	~HSetND ()

bool	outside (const VectorType &point) const

bool	inside (const VectorType &point) const

bool	across (const VectorType &point) const

bool	mapaway (const VectorType &point) const

bool	outside (const IVectorType &point) const
	verifies if `set` does not intersect the support of h-set More...

bool	inside (const IVectorType &point) const
	verifies if `set` is inside the support of h-set, More...

bool	across (const IVectorType &point) const
	verifies if `set` does not intersect N^+ More...

bool	mapaway (const IVectorType &point) const
	??? More...

template<typename SetType >
bool	outside (const SetType &A_set) const

template<typename SetType >
bool	inside (const SetType &A_set) const

template<typename SetType >
bool	across (const SetType &A_set) const

template<typename SetType >
bool	mapaway (const SetType &A_set) const

template<typename IMatrix >
GridSet< IMatrix > &	gridWall (GridSet< IMatrix > &G, const std::vector< size_type > &grid, const std::vector< size_type > &d, size_type totalDimension, size_type dir, int sign=0) const

template<typename IMatrix >
GridSet< IMatrix > &	gridSet (GridSet< IMatrix > &G, const std::vector< size_type > &grid, const std::vector< size_type > &d, size_type totalDimension) const

bool	checkOutside (const IVectorType &) const

bool	checkInside (const IVectorType &) const

bool	checkAcross (const IVectorType &) const

bool	checkMapaway (const IVectorType &) const

Public Attributes
VectorType	m_C

MatrixType	m_M

IVectorType	m_IC

IMatrixType	m_IM

IMatrixType	m_invIM

size_type	m_d1

size_type	m_d2

VectorType	m_r

Detailed Description

template<typename VectorT, typename IVectorT, typename MatrixT, typename IMatrixT>
class capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >

This class provides a h-set in an arbitrary dimension.

Member Typedef Documentation

◆ BoundType

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

typedef VectorT::ScalarType capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::BoundType

◆ IMatrixType

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

typedef IMatrixT capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::IMatrixType

◆ IVectorType

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

typedef IVectorT capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::IVectorType

◆ MatrixType

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

typedef MatrixT capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::MatrixType

◆ ScalarType

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

typedef IVectorT::ScalarType capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::ScalarType

◆ size_type

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

typedef VectorType::size_type capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::size_type

◆ VectorType

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

typedef VectorT capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::VectorType

Constructor & Destructor Documentation

◆ HSetND() [1/3]

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::HSetND ( )

inline

◆ HSetND() [2/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::HSetND	(	const VectorType &	center,
		const MatrixType &	M,
		size_type	d1,
		size_type	d2,
		const VectorType &	r
	)

◆ HSetND() [3/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::HSetND	(	const IVectorType &	center,
		const IMatrixType &	M,
		size_type	d1,
		size_type	d2,
		const VectorType &	r
	)

◆ ~HSetND()

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::~HSetND ( )

inline

Member Function Documentation

◆ across() [1/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::across ( const IVectorType & set ) const

virtual

verifies if set does not intersect N^+

Implements capd::covrel::HSet< VectorT, IVectorT >.

◆ across() [2/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

template<typename SetType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::across ( const SetType & A_set ) const

◆ across() [3/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::across ( const VectorType & point ) const

virtual

Implements capd::covrel::HSet< VectorT, IVectorT >.

◆ checkAcross()

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::checkAcross ( const IVectorType & x ) const

◆ checkInside()

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::checkInside ( const IVectorType & x ) const

◆ checkMapaway()

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::checkMapaway ( const IVectorType & x ) const

◆ checkOutside()

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::checkOutside ( const IVectorType & x ) const

◆ gridSet()

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

template<typename IMatrix >

GridSet< IMatrix > & capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::gridSet	(	GridSet< IMatrix > &	G,
		const std::vector< size_type > &	grid,
		const std::vector< size_type > &	d,
		size_type	totalDimension
	)		const

◆ gridWall()

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

template<typename IMatrix >

GridSet< IMatrix > & capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::gridWall	(	GridSet< IMatrix > &	G,
		const std::vector< size_type > &	grid,
		const std::vector< size_type > &	d,
		size_type	totalDimension,
		size_type	dir,
		int	sign = `0`
	)		const

◆ inside() [1/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::inside ( const IVectorType & set ) const

virtual

verifies if set is inside the support of h-set,

Implements capd::covrel::HSet< VectorT, IVectorT >.

◆ inside() [2/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

template<typename SetType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::inside ( const SetType & A_set ) const

◆ inside() [3/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::inside ( const VectorType & point ) const

virtual

Implements capd::covrel::HSet< VectorT, IVectorT >.

◆ mapaway() [1/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::mapaway ( const IVectorType & set ) const

virtual

???

Implements capd::covrel::HSet< VectorT, IVectorT >.

◆ mapaway() [2/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

template<typename SetType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::mapaway ( const SetType & A_set ) const

◆ mapaway() [3/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::mapaway ( const VectorType & point ) const

virtual

Implements capd::covrel::HSet< VectorT, IVectorT >.

◆ outside() [1/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::outside ( const IVectorType & set ) const

virtual

verifies if set does not intersect the support of h-set

Implements capd::covrel::HSet< VectorT, IVectorT >.

◆ outside() [2/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

template<typename SetType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::outside ( const SetType & A_set ) const

◆ outside() [3/3]

template<typename VectorType , typename IVectorType , typename MatrixType , typename IMatrixType >

bool capd::covrel::HSetND< VectorType, IVectorType, MatrixType, IMatrixType >::outside ( const VectorType & point ) const

virtual

Implements capd::covrel::HSet< VectorT, IVectorT >.

Member Data Documentation

◆ m_C

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

VectorType capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::m_C

◆ m_d1

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

size_type capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::m_d1

◆ m_d2

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

size_type capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::m_d2

◆ m_IC

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

IVectorType capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::m_IC

◆ m_IM

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

IMatrixType capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::m_IM

◆ m_invIM

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

IMatrixType capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::m_invIM

◆ m_M

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

MatrixType capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::m_M

◆ m_r

template<typename VectorT , typename IVectorT , typename MatrixT , typename IMatrixT >

VectorType capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >::m_r

Public Types

Public Member Functions

Public Attributes

Detailed Description

template<typename VectorT, typename IVectorT, typename MatrixT, typename IMatrixT> class capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >

Member Typedef Documentation

◆ BoundType

◆ IMatrixType

◆ IVectorType

◆ MatrixType

◆ ScalarType

◆ size_type

◆ VectorType

Constructor & Destructor Documentation

◆ HSetND() [1/3]

◆ HSetND() [2/3]

◆ HSetND() [3/3]

◆ ~HSetND()

Member Function Documentation

◆ across() [1/3]

◆ across() [2/3]

◆ across() [3/3]

◆ checkAcross()

◆ checkInside()

◆ checkMapaway()

◆ checkOutside()

◆ gridSet()

◆ gridWall()

◆ inside() [1/3]

◆ inside() [2/3]

◆ inside() [3/3]

◆ mapaway() [1/3]

◆ mapaway() [2/3]

◆ mapaway() [3/3]

◆ outside() [1/3]

◆ outside() [2/3]

◆ outside() [3/3]

Member Data Documentation

◆ m_C

◆ m_d1

◆ m_d2

◆ m_IC

◆ m_IM

◆ m_invIM

◆ m_M

◆ m_r

template<typename VectorT, typename IVectorT, typename MatrixT, typename IMatrixT>
class capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >