Class C0HOTripletonSet represents a subset of in the following form. More...

#include <capd/dynset/C0HOTripletonSet.h>

Public Types
typedef C0TripletonSet< MatrixT, Policies >	BaseSet

typedef BaseSet::MatrixType	MatrixType

typedef BaseSet::VectorType	VectorType

typedef MatrixType::ScalarType	ScalarType

typedef MatrixType::size_type	size_type

typedef BaseSet::DynSysType	DynSysType

typedef C0Set< MatrixT >	SetType

typedef TripletonData< MatrixT >	Data

typedef Policies	Policy

typedef BaseSet::ColumnVectorType	ColumnVectorType

typedef MatrixType::template rebind< typename ScalarType::BoundType >::other	RealMatrix

typedef VectorType::template rebind< typename ScalarType::BoundType >::other	RealVector

Public Member Functions
template<class Functional >
ScalarType	evalAt (const Functional &f) const
	This method computes value of functor f at interval vector represented by this set. It computes the value as an intersection of evalAt for two representations of this set: predictor and corrector. More...

virtual ScalarType	evalAffineFunctional (const VectorType &gradient, const VectorType &u) const

template<class Solver >
void	move (Solver &solver)

std::string	name () const
	returns set's name More...

void	move (DynSysType &dynsys)
	computes image of the set after one step/iterate of the dynamical system More...

void	move (DynSysType &dynsys, C0TripletonSet &result) const
	computes image of the set after one step/iterate of the dynamical system and stores it in result More...

void	setToIdentity ()

std::string	show () const
	returns a set detailed information More...

const ScalarType	getCurrentTime () const

ScalarType &	refCurrentTime ()

void	setCurrentTime (const ScalarType &t)

const MatrixT::RowVectorType &	getLastEnclosure () const

virtual	operator MatrixT::RowVectorType () const
	returns an enclosure of the set in the canonical coordinates More...

void	setCurrentSet (const MatrixT::RowVectorType &x)

virtual	operator VectorType () const=0

	operator VectorType () const

virtual VectorType	affineTransformation (const MatrixType &M, const VectorType &x0) const
	This method computes value of an affine map f at interval vector represented by this set. This set is represented as tripleton X=x+Cr0+intersection(Br,Qq). Then f(X) = M(X-x0) can be computed as M(x-x0) + (MC)r0 + intersection( MB)r, (MQ)*q ) More...

virtual ScalarType	evalAffineFunctional (const VectorType &gradient, const VectorType &x0) const
	This method computes value of an affine functional f at interval vector represented by this set. This set is represented as tripleton X=x+Cr0+intersection(Br,Qq). Then f(X) = grad(X-x0) can be computed as grad(x-x0) + (gradC)r0 + intersection( gradB)r, (gradQ)*q ) More...

const VectorType &	get_r0 () const
	returns r0 More...

const VectorType &	get_r0 () const
	returns r0 More...

const ScalarType &	getElement_r0 (size_type i) const
	returns i-th coordinate of r0 More...

const ScalarType &	getElement_r0 (size_type i) const
	returns i-th coordinate of r0 More...

const MatrixType &	get_C () const
	returns matrix C More...

const MatrixType &	get_C () const
	returns matrix C More...

const ScalarType &	getElement_C (size_type i, size_type j) const
	returns element C[i][j] More...

const ScalarType &	getElement_C (size_type i, size_type j) const
	returns element C[i][j] More...

VectorType	getRow_C (size_type i) const
	returns i-th row of C More...

VectorType	getRow_C (size_type i) const
	returns i-th row of C More...

ColumnVectorType	getColumn_C (size_type j) const
	returns j-th column of C More...

ColumnVectorType	getColumn_C (size_type j) const
	returns j-th column of C More...

std::string	toString () const
	returns set detailed information More...

void	set_r0 (const VectorType &r)
	sets r0 More...

void	setElement_r0 (size_type i, const ScalarType &s)
	sets i-th coordinate of r0 More...

void	set_C (const MatrixType &B)
	sets matrix C:= B More...

void	setElement_C (size_type i, size_type j, const ScalarType &s)
	sets C[i][j] := s More...

template<typename VectorT >
void	setRow_C (size_type i, const VectorT &v)
	sets i-th row of C to v More...

template<typename VectorT >
void	setColumn_C (size_type j, const VectorT &v)
	sets j-th columne of C to v More...

size_type	dimension () const
	returns dimension of a set More...

const VectorType &	get_x () const

const ScalarType &	getElement_x (int i) const

void	set_x (const VectorType &x)

void	setElement_x (size_type i, const ScalarType &s)

const VectorType &	get_r () const

const ScalarType &	getElement_r (size_type i) const

void	set_r (const VectorType &r)

void	setElement_r (size_type i, const ScalarType &s)

const MatrixType &	get_B () const

const MatrixType &	get_invB () const

const ScalarType &	getElement_B (size_type i, size_type j) const

VectorType	getRow_B (size_type i) const

ColumnVectorType	getColumn_B (size_type j) const

void	set_B (const MatrixType &B)

void	set_invB (const MatrixType &B)

void	setElement_B (size_type i, size_type j, const ScalarType &s)

template<typename VectorT >
void	setRow_B (size_type i, const VectorT &v)

template<typename VectorT >
void	setColumn_B (size_type j, const VectorT &v)


	C0HOTripletonSet (BaseSet &set)

	C0HOTripletonSet (const VectorType &x, ScalarType t=TypeTraits< ScalarType >::zero())

	C0HOTripletonSet (const VectorType &x, const VectorType &r0, ScalarType t=TypeTraits< ScalarType >::zero())

	C0HOTripletonSet (const VectorType &x, const MatrixType &C, const VectorType &r0, ScalarType t=TypeTraits< ScalarType >::zero())

	C0HOTripletonSet (const VectorType &x, const MatrixType &C, const VectorType &r0, const VectorType &r, ScalarType t=TypeTraits< ScalarType >::zero())

	C0HOTripletonSet (const VectorType &x, const MatrixType &C, const VectorType &r0, const MatrixType &B, const VectorType &r, ScalarType t=TypeTraits< ScalarType >::zero())


template<class Solver >
void	move (Solver &solver, C0HOTripletonSet &result)

Static Public Member Functions
static void	move (const BaseSet &set, BaseSet &result, VectorType &bound, Data &data)
	this computes next representation of the set given computed one-step enclosure of the form y + jacPhi*deltaX + rem More...

static const size_type	degree ()

Public Attributes
BaseSet	predictor

VectorType	m_q

MatrixType	m_Q

MatrixType	m_invQ

MatrixType	m_C
	C is a coordinate system of the 'Lipschitz' part. More...

VectorType	m_r0
	r0 is a interval set in given coordinate system that represents 'Lipschitz' part More...

VectorType	m_x
	x is a center of the set More...

MatrixType	m_B
	B is a coordinate system. More...

MatrixType	m_invB

VectorType	m_r
	r is a interval set in given coordinate system More...

VectorType	qr

MatrixType	Q

VectorType	x

VectorType	deltaX

VectorType	y

VectorType	deltaY

VectorType	rem

VectorType	enc

MatrixType	jacPhi

MatrixType	deltaC

MatrixType	B

Protected Member Functions
void	setLastEnclosure (const MatrixT::RowVectorType &enc)

void	copyQ ()

Protected Attributes
ScalarType	m_currentTime

MatrixT::RowVectorType	m_currentSet

MatrixT::RowVectorType	m_lastEnclosure

Detailed Description

template<class MatrixT, class Policies>
class capd::dynset::C0HOTripletonSet< MatrixT, Policies >

Class C0HOTripletonSet represents a subset of in the following form.

x + C*r0 + intersection(B*r , Q*q )

where x is a point vector C,B,Q are point matrices, where B and Q are invertible and Q is close to orthogonal r0,r are interval vectors

Moreover it stores rigorous inverse matrices of B and Q

The evaluation of the set by an ODE is realized by intersection of two methods: the Taylor method and the Hermite-Obreshkov method.

IMPORTANT: present implementation is valid only for orders of the Taylor method less or equal 32. This is due to capacity of integer type used to store binomial coefficients.

Member Typedef Documentation

◆ BaseSet

template<class MatrixT , class Policies >

typedef C0TripletonSet<MatrixT,Policies> capd::dynset::C0HOTripletonSet< MatrixT, Policies >::BaseSet

◆ ColumnVectorType

template<typename MatrixT >

typedef BaseSet::ColumnVectorType capd::geomset::CenteredDoubletonSet< MatrixT >::ColumnVectorType

inherited

◆ Data

template<typename MatrixT , typename Policies >

typedef TripletonData<MatrixT> capd::dynset::C0TripletonSet< MatrixT, Policies >::Data

inherited

◆ DynSysType

template<class MatrixT , class Policies >

typedef BaseSet::DynSysType capd::dynset::C0HOTripletonSet< MatrixT, Policies >::DynSysType

◆ MatrixType

template<class MatrixT , class Policies >

typedef BaseSet::MatrixType capd::dynset::C0HOTripletonSet< MatrixT, Policies >::MatrixType

◆ Policy

template<typename MatrixT , typename Policies >

typedef Policies capd::dynset::C0TripletonSet< MatrixT, Policies >::Policy

inherited

◆ RealMatrix

template<typename MatrixT >

typedef MatrixType::template rebind<typename ScalarType::BoundType>::other capd::geomset::AffineSet< MatrixT >::RealMatrix

inherited

◆ RealVector

template<typename MatrixT >

typedef VectorType::template rebind<typename ScalarType::BoundType>::other capd::geomset::AffineSet< MatrixT >::RealVector

inherited

◆ ScalarType

template<class MatrixT , class Policies >

typedef MatrixType::ScalarType capd::dynset::C0HOTripletonSet< MatrixT, Policies >::ScalarType

◆ SetType

template<typename MatrixT , typename Policies >

typedef C0Set<MatrixT> capd::dynset::C0TripletonSet< MatrixT, Policies >::SetType

inherited

◆ size_type

template<class MatrixT , class Policies >

typedef MatrixType::size_type capd::dynset::C0HOTripletonSet< MatrixT, Policies >::size_type

◆ VectorType

template<class MatrixT , class Policies >

typedef BaseSet::VectorType capd::dynset::C0HOTripletonSet< MatrixT, Policies >::VectorType

Constructor & Destructor Documentation

◆ C0HOTripletonSet() [1/6]

template<class MatrixT , class Policies >

capd::dynset::C0HOTripletonSet< MatrixT, Policies >::C0HOTripletonSet ( BaseSet & set )

◆ C0HOTripletonSet() [2/6]

template<class MatrixT , class Policies >

capd::dynset::C0HOTripletonSet< MatrixT, Policies >::C0HOTripletonSet	(	const VectorType &	x,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

explicit

◆ C0HOTripletonSet() [3/6]

template<class MatrixT , class Policies >

capd::dynset::C0HOTripletonSet< MatrixT, Policies >::C0HOTripletonSet	(	const VectorType &	x,
		const VectorType &	r0,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ C0HOTripletonSet() [4/6]

template<class MatrixT , class Policies >

capd::dynset::C0HOTripletonSet< MatrixT, Policies >::C0HOTripletonSet	(	const VectorType &	x,
		const MatrixType &	C,
		const VectorType &	r0,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ C0HOTripletonSet() [5/6]

template<class MatrixT , class Policies >

capd::dynset::C0HOTripletonSet< MatrixT, Policies >::C0HOTripletonSet	(	const VectorType &	x,
		const MatrixType &	C,
		const VectorType &	r0,
		const VectorType &	r,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ C0HOTripletonSet() [6/6]

template<class MatrixT , class Policies >

capd::dynset::C0HOTripletonSet< MatrixT, Policies >::C0HOTripletonSet	(	const VectorType &	x,
		const MatrixType &	C,
		const VectorType &	r0,
		const MatrixType &	B,
		const VectorType &	r,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

Member Function Documentation

◆ degree()

template<typename MatrixT >

static const size_type capd::dynset::C0Set< MatrixT >::degree ( )

inlinestaticinherited

◆ dimension()

template<typename MatrixT >

size_type capd::geomset::AffineSet< MatrixT >::dimension ( ) const

inlineinherited

returns dimension of a set

◆ evalAffineFunctional()

template<class MatrixT , class Policies >

virtual ScalarType capd::dynset::C0HOTripletonSet< MatrixT, Policies >::evalAffineFunctional	(	const VectorType &	gradient,
		const VectorType &	u
	)		const

inlinevirtual

◆ evalAt()

template<class MatrixT , class Policies >

template<class Functional >

ScalarType capd::dynset::C0HOTripletonSet< MatrixT, Policies >::evalAt ( const Functional & f ) const

inline

This method computes value of functor f at interval vector represented by this set. It computes the value as an intersection of evalAt for two representations of this set: predictor and corrector.

◆ get_B()

template<typename MatrixT >

const MatrixType& capd::geomset::AffineSet< MatrixT >::get_B ( ) const

inlineinherited

◆ get_C() [1/2]

template<typename MatrixT >

const MatrixType& capd::geomset::DoubletonSet< MatrixT >::get_C

inlineinherited

returns matrix C

◆ get_C() [2/2]

template<typename MatrixT >

const MatrixType& capd::geomset::DoubletonSet< MatrixT >::get_C ( ) const

inlineinherited

returns matrix C

◆ get_invB()

template<typename MatrixT >

const MatrixType& capd::geomset::AffineSet< MatrixT >::get_invB ( ) const

inlineinherited

◆ get_r()

template<typename MatrixT >

const VectorType& capd::geomset::AffineSet< MatrixT >::get_r ( ) const

inlineinherited

◆ get_r0() [1/2]

template<typename MatrixT >

const VectorType& capd::geomset::DoubletonSet< MatrixT >::get_r0

inlineinherited

returns r0

◆ get_r0() [2/2]

template<typename MatrixT >

const VectorType& capd::geomset::DoubletonSet< MatrixT >::get_r0 ( ) const

inlineinherited

returns r0

◆ get_x()

template<typename MatrixT >

const VectorType& capd::geomset::AffineSet< MatrixT >::get_x ( ) const

inlineinherited

◆ getColumn_B()

template<typename MatrixT >

ColumnVectorType capd::geomset::AffineSet< MatrixT >::getColumn_B ( size_type j ) const

inlineinherited

◆ getColumn_C() [1/2]

template<typename MatrixT >

ColumnVectorType capd::geomset::DoubletonSet< MatrixT >::getColumn_C

inlineinherited

returns j-th column of C

◆ getColumn_C() [2/2]

template<typename MatrixT >

ColumnVectorType capd::geomset::DoubletonSet< MatrixT >::getColumn_C ( size_type j ) const

inlineinherited

returns j-th column of C

◆ getCurrentTime()

const ScalarType capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::getCurrentTime ( ) const

inlineinherited

◆ getElement_B()

template<typename MatrixT >

const ScalarType& capd::geomset::AffineSet< MatrixT >::getElement_B	(	size_type	i,
		size_type	j
	)		const

inlineinherited

◆ getElement_C() [1/2]

template<typename MatrixT >

const ScalarType& capd::geomset::DoubletonSet< MatrixT >::getElement_C

inlineinherited

returns element C[i][j]

◆ getElement_C() [2/2]

template<typename MatrixT >

const ScalarType& capd::geomset::DoubletonSet< MatrixT >::getElement_C	(	size_type	i,
		size_type	j
	)		const

inlineinherited

returns element C[i][j]

◆ getElement_r()

template<typename MatrixT >

const ScalarType& capd::geomset::AffineSet< MatrixT >::getElement_r ( size_type i ) const

inlineinherited

◆ getElement_r0() [1/2]

template<typename MatrixT >

const ScalarType& capd::geomset::DoubletonSet< MatrixT >::getElement_r0

inlineinherited

returns i-th coordinate of r0

◆ getElement_r0() [2/2]

template<typename MatrixT >

const ScalarType& capd::geomset::DoubletonSet< MatrixT >::getElement_r0 ( size_type i ) const

inlineinherited

returns i-th coordinate of r0

◆ getElement_x()

template<typename MatrixT >

const ScalarType& capd::geomset::AffineSet< MatrixT >::getElement_x ( int i ) const

inlineinherited

◆ getLastEnclosure()

const MatrixT::RowVectorType & capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::getLastEnclosure ( ) const

inlineinherited

◆ getRow_B()

template<typename MatrixT >

VectorType capd::geomset::AffineSet< MatrixT >::getRow_B ( size_type i ) const

inlineinherited

◆ getRow_C() [1/2]

template<typename MatrixT >

VectorType capd::geomset::DoubletonSet< MatrixT >::getRow_C

inlineinherited

returns i-th row of C

◆ getRow_C() [2/2]

template<typename MatrixT >

VectorType capd::geomset::DoubletonSet< MatrixT >::getRow_C ( size_type i ) const

inlineinherited

returns i-th row of C

◆ move() [1/5]

template<typename MatrixType , typename Policies >

void capd::dynset::C0TripletonSet< MatrixType, Policies >::move	(	const BaseSet &	set,
		BaseSet &	result,
		VectorType &	bound,
		Data &	data
	)

staticinherited

this computes next representation of the set given computed one-step enclosure of the form y + jacPhi*deltaX + rem

◆ move() [2/5]

template<typename MatrixType , typename Policies >

void capd::dynset::C0TripletonSet< MatrixType, Policies >::move ( DynSysType & dynsys )

virtualinherited

computes image of the set after one step/iterate of the dynamical system

Implements capd::dynset::C0Set< MatrixT >.

◆ move() [3/5]

template<typename MatrixType , typename Policies >

void capd::dynset::C0TripletonSet< MatrixType, Policies >::move	(	DynSysType &	dynsys,
		C0TripletonSet< MatrixT, Policies > &	result
	)		const

inherited

computes image of the set after one step/iterate of the dynamical system and stores it in result

◆ move() [4/5]

template<class MatrixT , class Policies >

template<class Solver >

void capd::dynset::C0HOTripletonSet< MatrixT, Policies >::move ( Solver & solver )

inline

◆ move() [5/5]

template<class MatrixT , class Policies >

template<class Solver >

void capd::dynset::C0HOTripletonSet< MatrixT, Policies >::move	(	Solver &	solver,
		C0HOTripletonSet< MatrixT, Policies > &	result
	)

◆ name()

template<class MatrixT , class Policies >

std::string capd::dynset::C0HOTripletonSet< MatrixT, Policies >::name ( ) const

inlinevirtual

returns set's name

Reimplemented from capd::geomset::CenteredDoubletonSet< MatrixT >.

◆ operator MatrixT::RowVectorType()

virtual capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::operator MatrixT::RowVectorType ( ) const

inlinevirtualinherited

returns an enclosure of the set in the canonical coordinates

◆ operator VectorType() [1/2]

template<typename MatrixT >

capd::geomset::CenteredTripletonSet< MatrixT >::operator VectorType ( ) const

inlineinherited

◆ operator VectorType() [2/2]

virtual capd::dynset::AbstractSet< MatrixT::RowVectorType >::operator VectorType ( ) const

pure virtualinherited

Implemented in capd::pdes::C0HODoubletonSetGeometricTail< BaseSetT >, capd::pdes::C0DoubletonSetGeometricTail< BaseT >, capd::pdes::C0DoubletonSetGeometricTail< capd::dynset::C1DoubletonSet< GeometricBound< capd::interval >::MatrixType, Policies > >, capd::dynset::CnSet< MatrixT, DEGREE >, capd::dynset::CnSet< MatrixT, 0 >, capd::dynset::C1GraphicalSet< MatrixT, OutputClass >, and capd::dynset::C11Rect2< MatrixT, QRPolicy >.

◆ refCurrentTime()

ScalarType& capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::refCurrentTime ( )

inlineinherited

◆ set_B()

template<typename MatrixT >

void capd::geomset::AffineSet< MatrixT >::set_B ( const MatrixType & B )

inlineinherited

◆ set_C()

template<typename MatrixT >

void capd::geomset::DoubletonSet< MatrixT >::set_C ( const MatrixType & B )

inlineinherited

sets matrix C:= B

◆ set_invB()

template<typename MatrixT >

void capd::geomset::AffineSet< MatrixT >::set_invB ( const MatrixType & B )

inlineinherited

◆ set_r()

template<typename MatrixT >

void capd::geomset::AffineSet< MatrixT >::set_r ( const VectorType & r )

inlineinherited

◆ set_r0()

template<typename MatrixT >

void capd::geomset::DoubletonSet< MatrixT >::set_r0 ( const VectorType & r )

inlineinherited

sets r0

◆ set_x()

template<typename MatrixT >

void capd::geomset::AffineSet< MatrixT >::set_x ( const VectorType & x )

inlineinherited

◆ setColumn_B()

template<typename MatrixT >

template<typename VectorT >

void capd::geomset::AffineSet< MatrixT >::setColumn_B	(	size_type	j,
		const VectorT &	v
	)

inlineinherited

◆ setColumn_C()

template<typename MatrixT >

template<typename VectorT >

void capd::geomset::DoubletonSet< MatrixT >::setColumn_C	(	size_type	j,
		const VectorT &	v
	)

inlineinherited

sets j-th columne of C to v

◆ setCurrentSet()

void capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::setCurrentSet ( const VectorT & x )

inlineinherited

◆ setCurrentTime()

void capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::setCurrentTime ( const ScalarType & t )

inlineinherited

◆ setElement_B()

template<typename MatrixT >

void capd::geomset::AffineSet< MatrixT >::setElement_B	(	size_type	i,
		size_type	j,
		const ScalarType &	s
	)

inlineinherited

◆ setElement_C()

template<typename MatrixT >

void capd::geomset::DoubletonSet< MatrixT >::setElement_C	(	size_type	i,
		size_type	j,
		const ScalarType &	s
	)

inlineinherited

sets C[i][j] := s

◆ setElement_r()

template<typename MatrixT >

void capd::geomset::AffineSet< MatrixT >::setElement_r	(	size_type	i,
		const ScalarType &	s
	)

inlineinherited

◆ setElement_r0()

template<typename MatrixT >

void capd::geomset::DoubletonSet< MatrixT >::setElement_r0	(	size_type	i,
		const ScalarType &	s
	)

inlineinherited

sets i-th coordinate of r0

◆ setElement_x()

template<typename MatrixT >

void capd::geomset::AffineSet< MatrixT >::setElement_x	(	size_type	i,
		const ScalarType &	s
	)

inlineinherited

◆ setLastEnclosure()

void capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::setLastEnclosure ( const VectorT & enc )

inlineprotectedinherited

◆ setRow_B()

template<typename MatrixT >

template<typename VectorT >

void capd::geomset::AffineSet< MatrixT >::setRow_B	(	size_type	i,
		const VectorT &	v
	)

inlineinherited

◆ setRow_C()

template<typename MatrixT >

template<typename VectorT >

void capd::geomset::DoubletonSet< MatrixT >::setRow_C	(	size_type	i,
		const VectorT &	v
	)

inlineinherited

sets i-th row of C to v

◆ setToIdentity()

template<typename MatrixT , typename Policies >

void capd::dynset::C0TripletonSet< MatrixT, Policies >::setToIdentity ( )

inlineinherited

◆ show()

template<typename MatrixType , typename Policies >

std::string capd::dynset::C0TripletonSet< MatrixType, Policies >::show ( void ) const

virtualinherited

returns a set detailed information

Implements capd::dynset::AbstractSet< MatrixT::RowVectorType >.

Member Data Documentation

◆ m_B

template<typename MatrixT >

MatrixType capd::geomset::AffineSet< MatrixT >::m_B

inherited

B is a coordinate system.

◆ m_C

template<typename MatrixT >

MatrixType capd::geomset::DoubletonSet< MatrixT >::m_C

inherited

C is a coordinate system of the 'Lipschitz' part.

◆ m_currentSet

MatrixT::RowVectorType capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::m_currentSet

protectedinherited

◆ m_currentTime

ScalarType capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::m_currentTime

protectedinherited

◆ m_invB

template<typename MatrixT >

MatrixType capd::geomset::AffineSet< MatrixT >::m_invB

inherited

◆ m_invQ

template<typename MatrixT >

MatrixType capd::geomset::CenteredTripletonSet< MatrixT >::m_invQ

inherited

◆ m_lastEnclosure

MatrixT::RowVectorType capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::m_lastEnclosure

protectedinherited

◆ m_q

template<typename MatrixT >

VectorType capd::geomset::CenteredTripletonSet< MatrixT >::m_q

inherited

◆ m_Q

template<typename MatrixT >

MatrixType capd::geomset::CenteredTripletonSet< MatrixT >::m_Q

inherited

◆ m_r

template<typename MatrixT >

VectorType capd::geomset::AffineSet< MatrixT >::m_r

inherited

r is a interval set in given coordinate system

◆ m_r0

template<typename MatrixT >

VectorType capd::geomset::DoubletonSet< MatrixT >::m_r0

inherited

r0 is a interval set in given coordinate system that represents 'Lipschitz' part

◆ m_x

template<typename MatrixT >

VectorType capd::geomset::AffineSet< MatrixT >::m_x

inherited

x is a center of the set

◆ predictor

template<class MatrixT , class Policies >

BaseSet capd::dynset::C0HOTripletonSet< MatrixT, Policies >::predictor

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

capd/dynset/C0HOTripletonSet.h
capd/dynset/C0HOTripletonSet.hpp

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Protected Member Functions

Protected Attributes

Detailed Description

template<class MatrixT, class Policies> class capd::dynset::C0HOTripletonSet< MatrixT, Policies >

Member Typedef Documentation

◆ BaseSet

◆ ColumnVectorType

◆ Data

◆ DynSysType

◆ MatrixType

◆ Policy

◆ RealMatrix

◆ RealVector

◆ ScalarType

◆ SetType

◆ size_type

◆ VectorType

Constructor & Destructor Documentation

◆ C0HOTripletonSet() [1/6]

◆ C0HOTripletonSet() [2/6]

◆ C0HOTripletonSet() [3/6]

◆ C0HOTripletonSet() [4/6]

◆ C0HOTripletonSet() [5/6]

◆ C0HOTripletonSet() [6/6]

Member Function Documentation

◆ degree()

◆ dimension()

◆ evalAffineFunctional()

◆ evalAt()

◆ get_B()

◆ get_C() [1/2]

◆ get_C() [2/2]

◆ get_invB()

◆ get_r()

◆ get_r0() [1/2]

◆ get_r0() [2/2]

◆ get_x()

◆ getColumn_B()

◆ getColumn_C() [1/2]

◆ getColumn_C() [2/2]

◆ getCurrentTime()

◆ getElement_B()

◆ getElement_C() [1/2]

◆ getElement_C() [2/2]

◆ getElement_r()

◆ getElement_r0() [1/2]

◆ getElement_r0() [2/2]

◆ getElement_x()

◆ getLastEnclosure()

◆ getRow_B()

◆ getRow_C() [1/2]

◆ getRow_C() [2/2]

◆ move() [1/5]

◆ move() [2/5]

◆ move() [3/5]

◆ move() [4/5]

◆ move() [5/5]

◆ name()

◆ operator MatrixT::RowVectorType()

◆ operator VectorType() [1/2]

◆ operator VectorType() [2/2]

◆ refCurrentTime()

◆ set_B()

◆ set_C()

◆ set_invB()

◆ set_r()

◆ set_r0()

◆ set_x()

◆ setColumn_B()

◆ setColumn_C()

◆ setCurrentSet()

◆ setCurrentTime()

◆ setElement_B()

◆ setElement_C()

◆ setElement_r()

◆ setElement_r0()

template<class MatrixT, class Policies>
class capd::dynset::C0HOTripletonSet< MatrixT, Policies >