capd::covrel::HSet< VectorT, IVectorT > Class Template Reference

this is an abstract class for h-sets - from paper by Gidea-Zgliczynski 'Covering relations ...' http://www.im.uj.edu.pl/~zgliczyn More...

#include <capd/covrel/HSet.h>

Public Types
typedef VectorT	VectorType
typedef IVectorT	IVectorType

Public Member Functions
virtual bool	outside (const VectorType &) const =0
virtual bool	inside (const VectorType &) const =0
virtual bool	across (const VectorType &) const =0
virtual bool	mapaway (const VectorType &) const =0
virtual bool	outside (const IVectorType &set) const =0
	verifies if set does not intersect the support of h-set More...
virtual bool	inside (const IVectorType &set) const =0
	verifies if set is inside the support of h-set, More...
virtual bool	across (const IVectorType &set) const =0
	verifies if set does not intersect N^+ More...
virtual bool	mapaway (const IVectorType &set) const =0
	??? More...
virtual	~HSet ()

Detailed Description

template<typename VectorT, typename IVectorT>
class capd::covrel::HSet< VectorT, IVectorT >

this is an abstract class for h-sets - from paper by Gidea-Zgliczynski 'Covering relations ...' http://www.im.uj.edu.pl/~zgliczyn

Member Typedef Documentation

IVectorType

template<typename VectorT , typename IVectorT >

typedef IVectorT capd::covrel::HSet< VectorT, IVectorT >::IVectorType

VectorType

template<typename VectorT , typename IVectorT >

typedef VectorT capd::covrel::HSet< VectorT, IVectorT >::VectorType

Constructor & Destructor Documentation

~HSet()

template<typename VectorT , typename IVectorT >

virtual capd::covrel::HSet< VectorT, IVectorT >::~HSet ( )

inlinevirtual

Member Function Documentation

across() [1/2]

template<typename VectorT , typename IVectorT >

virtual bool capd::covrel::HSet< VectorT, IVectorT >::across ( const IVectorType &  set ) const

pure virtual

verifies if set does not intersect N^+

Implemented in capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >, capd::covrel::HSet3D, and capd::covrel::TripleSet.

across() [2/2]

template<typename VectorT , typename IVectorT >

virtual bool capd::covrel::HSet< VectorT, IVectorT >::across ( const VectorType &  ) const

pure virtual

Implemented in capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >.

inside() [1/2]

template<typename VectorT , typename IVectorT >

virtual bool capd::covrel::HSet< VectorT, IVectorT >::inside ( const IVectorType &  set ) const

pure virtual

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

Implemented in capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >, capd::covrel::HSet3D, and capd::covrel::TripleSet.

inside() [2/2]

template<typename VectorT , typename IVectorT >

virtual bool capd::covrel::HSet< VectorT, IVectorT >::inside ( const VectorType &  ) const

pure virtual

Implemented in capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >.

mapaway() [1/2]

template<typename VectorT , typename IVectorT >

virtual bool capd::covrel::HSet< VectorT, IVectorT >::mapaway ( const IVectorType &  set ) const

pure virtual

???

Implemented in capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >, capd::covrel::HSet3D, and capd::covrel::TripleSet.

mapaway() [2/2]

template<typename VectorT , typename IVectorT >

virtual bool capd::covrel::HSet< VectorT, IVectorT >::mapaway ( const VectorType &  ) const

pure virtual

Implemented in capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >.

outside() [1/2]

template<typename VectorT , typename IVectorT >

virtual bool capd::covrel::HSet< VectorT, IVectorT >::outside ( const IVectorType &  set ) const

pure virtual

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

Implemented in capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >, capd::covrel::HSet3D, and capd::covrel::TripleSet.

outside() [2/2]

template<typename VectorT , typename IVectorT >

virtual bool capd::covrel::HSet< VectorT, IVectorT >::outside ( const VectorType &  ) const

pure virtual

Implemented in capd::covrel::HSetND< VectorT, IVectorT, MatrixT, IMatrixT >.