#include <capd/pdes/C0DoubletonSetGeometricTail.h>

Public Types
typedef capd::pdes::GeometricBound< capd::interval >	VectorType

typedef VectorType::MatrixType	MatrixType

typedef MatrixType::RowVectorType	FiniteVectorType

typedef MatrixType::ScalarType	ScalarType

typedef MatrixType::size_type	size_type

typedef BaseT	FiniteDimensionalBaseSet

typedef capd::dynset::C0Set< MatrixType >::SetType	SetType

typedef capd::pdes::PdeSolver< VectorType >	DynSysType

typedef capd::dynset::DoubletonData< MatrixType >	Data

typedef FiniteDimensionalBaseSet::Policy	Policy

typedef capd::vectalg::Norm< VectorType, MatrixType >	NormType

typedef capd::geomset::CenteredDoubletonSet< GeometricBound< capd::interval >::MatrixType >	BaseSet

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
	C0DoubletonSetGeometricTail (const VectorType &x, ScalarType t=TypeTraits< ScalarType >::zero())

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

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

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

	C0DoubletonSetGeometricTail (const VectorType &x, const FiniteDimensionalBaseSet &set)

void	initMove (C0DoubletonSetGeometricTail &result) const

void	finalizeMove (C0DoubletonSetGeometricTail &result) const

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

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

template<class Functional >
ScalarType	evalAt (const Functional &f) const
	This method computes value of functor f at interval vector represented by this set. More...

VectorType	affineTransformation (const MatrixType &A, const VectorType &c) 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...

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

	operator VectorType () const

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

const VectorType &	getCurrentSeries () const

void	setLastEnclosure (const VectorType &enc)

const VectorType &	getLastEnclosure () const

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

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

template<class Vector >
bool	isReorganizationNeeded (const Vector &r, const Vector &r0) const

template<class SetType >
bool	isReorganizationNeeded (const SetType &result) const

template<class SetType >
bool	reorganizeIfNeeded (SetType &result) const
	makes reorganization if needed. More...

template<class Matrix1 , class Matrix2 , class Vector >
bool	reorganizeIfNeeded (Matrix1 &B, Matrix2 &invB, Vector &r, Matrix1 &C, Vector &r0) const

template<class SetType >
bool	isC1ReorganizationNeeded (const SetType &result) const

template<class Matrix >
bool	isC1ReorganizationNeeded (const Matrix &R, const Matrix &R0) const

template<class Matrix >
bool	reorganizeC1IfNeeded (Matrix &B, Matrix &invB, Matrix &R, Matrix &C, Matrix &R0) const

template<class SetType >
bool	reorganizeC1IfNeeded (SetType &result) const
	makes reorganization if needed. return true if reorganization was performed More...

template<class HessianT >
bool	isC2ReorganizationNeeded (const HessianT &R, const HessianT &R0) const

template<class MatrixT , class HessianT >
bool	reorganizeC2IfNeeded (MatrixT &B, MatrixT &invB, HessianT &R, MatrixT &C, HessianT &R0) const

template<class Matrix , class Hessian >
bool	reorganizeC2IfNeeded (Matrix &, Matrix &, Hessian &, Matrix &, Hessian &) const

void	reorganize (SetType &result) const

void	reorganize (Matrix1 &B, Matrix2 &invB, Vector &r, Matrix1 &C, Vector &r0) const

void	reorganizeC1 (SetType &result) const

void	reorganizeC1 (Matrix &B, Matrix &invB, Matrix &R, Matrix &C, Matrix &R0) const

void	reorganizeC2 (Matrix &B, Matrix &invB, HessianT &R, Matrix &C, HessianT &R0) const

void	setFactor (double A_factor)
	sets c0,c1,c2 factors to new value More...

void	setC0Factor (double A_factor)
	sets new value of c0Factor; More...

void	setC1Factor (double A_factor)
	sets new value of c1Factor; More...

void	setC2Factor (double A_factor)
	sets new value of c2Factor; More...

double	getC0Factor () const
	returns current value of c0Factor; More...

double	getC1Factor () const
	returns current value of c1Factor; More...

double	getC2Factor () const
	returns current value of c2Factor; More...

void	onoffReorganization (bool flag)
	sets the flag which controls possibility of reorganization to new value More...

bool	isReorganizationEnabled () const
	returns current value of the flag which controls possibility of reorganization More...

std::string	toString () const

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

template<class VectorT , class MatrixT >
void	computeBinvB (MatrixT &B, MatrixT &invB, const VectorT &) const

void	disableReorganization ()

const ScalarType	getCurrentTime () const

ScalarType &	refCurrentTime ()

void	setCurrentTime (const ScalarType &t)

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

void	setCurrentSet (const MatrixT::RowVectorType &x)

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

const ScalarType &	getElement_r0 (size_type i) const
	returns i-th coordinate of r0 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...

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...

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...

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

void	setToIdentity ()

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)

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
VectorType	m_enc

VectorType	m_currentSeries

VectorType	m_tmp

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	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)

Protected Attributes
double	m_c0Factor

double	m_c1Factor

double	m_c2Factor

bool	m_onoff

ScalarType	m_currentTime

MatrixT::RowVectorType	m_currentSet

MatrixT::RowVectorType	m_lastEnclosure

Member Typedef Documentation

◆ BaseSet

typedef capd::geomset::CenteredDoubletonSet<GeometricBound< capd::interval >::MatrixType > capd::dynset::C0DoubletonSet< GeometricBound< capd::interval >::MatrixType , capd::C0Rect2Policies >::BaseSet

inherited

◆ ColumnVectorType

template<typename MatrixT >

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

inherited

◆ Data

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

typedef capd::dynset::DoubletonData<MatrixType> capd::pdes::C0DoubletonSetGeometricTail< BaseT >::Data

◆ DynSysType

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

typedef capd::pdes::PdeSolver<VectorType> capd::pdes::C0DoubletonSetGeometricTail< BaseT >::DynSysType

◆ FiniteDimensionalBaseSet

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

typedef BaseT capd::pdes::C0DoubletonSetGeometricTail< BaseT >::FiniteDimensionalBaseSet

◆ FiniteVectorType

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

typedef MatrixType::RowVectorType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::FiniteVectorType

◆ MatrixType

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

typedef VectorType::MatrixType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::MatrixType

◆ NormType

typedef capd::vectalg::Norm<VectorType,MatrixType> capd::dynset::C0DoubletonSet< GeometricBound< capd::interval >::MatrixType , capd::C0Rect2Policies >::NormType

inherited

◆ Policy

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

typedef FiniteDimensionalBaseSet::Policy capd::pdes::C0DoubletonSetGeometricTail< BaseT >::Policy

◆ 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<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

typedef MatrixType::ScalarType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::ScalarType

◆ SetType

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

typedef capd::dynset::C0Set<MatrixType>::SetType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::SetType

◆ size_type

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

typedef MatrixType::size_type capd::pdes::C0DoubletonSetGeometricTail< BaseT >::size_type

◆ VectorType

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

typedef capd::pdes::GeometricBound<capd::interval> capd::pdes::C0DoubletonSetGeometricTail< BaseT >::VectorType

Constructor & Destructor Documentation

◆ C0DoubletonSetGeometricTail() [1/5]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

capd::pdes::C0DoubletonSetGeometricTail< BaseT >::C0DoubletonSetGeometricTail	(	const VectorType &	x,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

inline

◆ C0DoubletonSetGeometricTail() [2/5]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

capd::pdes::C0DoubletonSetGeometricTail< BaseT >::C0DoubletonSetGeometricTail	(	const VectorType &	x,
		const FiniteVectorType &	r0,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

inline

◆ C0DoubletonSetGeometricTail() [3/5]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

capd::pdes::C0DoubletonSetGeometricTail< BaseT >::C0DoubletonSetGeometricTail	(	const VectorType &	x,
		const MatrixType &	C,
		const FiniteVectorType &	r0,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

inline

◆ C0DoubletonSetGeometricTail() [4/5]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

capd::pdes::C0DoubletonSetGeometricTail< BaseT >::C0DoubletonSetGeometricTail	(	const VectorType &	x,
		const MatrixType &	C,
		const FiniteVectorType &	r0,
		const MatrixType &	B,
		const FiniteVectorType &	r,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

inline

◆ C0DoubletonSetGeometricTail() [5/5]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

capd::pdes::C0DoubletonSetGeometricTail< BaseT >::C0DoubletonSetGeometricTail	(	const VectorType &	x,
		const FiniteDimensionalBaseSet &	set
	)

inline

Member Function Documentation

◆ affineTransformation()

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

VectorType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::affineTransformation	(	const MatrixType &	M,
		const VectorType &	x0
	)		const

inlinevirtual

This method computes value of an affine map f at interval vector represented by this set. This set is represented as tripleton X=x+C*r0+intersection(B*r,Q*q). Then f(X) = M*(X-x0) can be computed as M*(x-x0) + (M*C)*r0 + intersection( M*B)*r, (M*Q)*q )

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

◆ 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

◆ disableReorganization()

void capd::dynset::NoReorganization::disableReorganization ( )

inlineinherited

◆ evalAffineFunctional()

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

ScalarType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::evalAffineFunctional	(	const VectorType &	gradient,
		const VectorType &	x0
	)		const

inlinevirtual

This method computes value of an affine functional f at the vector represented by this set. This set is represented as doubleton X=x+C*r0+B*r. Then f(X) = grad*(X-x0) can be computed as grad*(x-x0) + (grad*C)*r0 + (grad*B)*r.

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

◆ evalAt()

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

template<class Functional >

ScalarType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::evalAt ( const Functional & f ) const

inline

This method computes value of functor f at interval vector represented by this set.

◆ get_B()

template<typename MatrixT >

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

inlineinherited

◆ get_C()

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()

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

◆ getC0Factor()

double capd::dynset::FactorPolicy< DefaultPolicy >::getC0Factor ( ) const

inlineinherited

returns current value of c0Factor;

◆ getC1Factor()

double capd::dynset::FactorPolicy< DefaultPolicy >::getC1Factor ( ) const

inlineinherited

returns current value of c1Factor;

◆ getC2Factor()

double capd::dynset::FactorPolicy< DefaultPolicy >::getC2Factor ( ) const

inlineinherited

returns current value of c2Factor;

◆ getColumn_B()

template<typename MatrixT >

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

inlineinherited

◆ getColumn_C()

template<typename MatrixT >

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

inlineinherited

returns j-th column of C

◆ getCurrentSeries()

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

const VectorType& capd::pdes::C0DoubletonSetGeometricTail< BaseT >::getCurrentSeries ( ) const

inline

◆ 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()

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()

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()

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

const VectorType& capd::pdes::C0DoubletonSetGeometricTail< BaseT >::getLastEnclosure ( ) const

inline

◆ getRow_B()

template<typename MatrixT >

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

inlineinherited

◆ getRow_C()

template<typename MatrixT >

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

inlineinherited

returns i-th row of C

◆ isC1ReorganizationNeeded() [1/2]

template<typename BasePolicy = DefaultPolicy>

template<class Matrix >

bool capd::dynset::FactorReorganization< BasePolicy >::isC1ReorganizationNeeded	(	const Matrix &	R,
		const Matrix &	R0
	)		const

inlineinherited

◆ isC1ReorganizationNeeded() [2/2]

template<typename BasePolicy = DefaultPolicy>

template<class SetType >

bool capd::dynset::FactorReorganization< BasePolicy >::isC1ReorganizationNeeded ( const SetType & result ) const

inlineinherited

◆ isC2ReorganizationNeeded()

template<typename BasePolicy = DefaultPolicy>

template<class HessianT >

bool capd::dynset::FactorReorganization< BasePolicy >::isC2ReorganizationNeeded	(	const HessianT &	R,
		const HessianT &	R0
	)		const

inlineinherited

◆ isReorganizationEnabled()

bool capd::dynset::FactorPolicy< DefaultPolicy >::isReorganizationEnabled ( ) const

inlineinherited

returns current value of the flag which controls possibility of reorganization

◆ isReorganizationNeeded() [1/2]

template<typename BasePolicy = DefaultPolicy>

template<class SetType >

bool capd::dynset::FactorReorganization< BasePolicy >::isReorganizationNeeded ( const SetType & result ) const

inlineinherited

◆ isReorganizationNeeded() [2/2]

template<typename BasePolicy = DefaultPolicy>

template<class Vector >

bool capd::dynset::FactorReorganization< BasePolicy >::isReorganizationNeeded	(	const Vector &	r,
		const Vector &	r0
	)		const

inlineinherited

◆ move() [1/3]

void capd::dynset::C0DoubletonSet< MatrixType, capd::C0Rect2Policies >::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/3]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

void capd::pdes::C0DoubletonSetGeometricTail< BaseT >::move ( DynSysType & dynsys )

inlinevirtual

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

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

◆ move() [3/3]

void capd::dynset::C0DoubletonSet< MatrixType, capd::C0Rect2Policies >::move	(	DynSysType &	dynsys,
		C0DoubletonSet< GeometricBound< capd::interval >::MatrixType, capd::C0Rect2Policies > &	result
	)		const

inherited

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

◆ name()

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

std::string capd::pdes::C0DoubletonSetGeometricTail< BaseT >::name ( ) const

inlinevirtual

returns set's name

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

◆ onoffReorganization()

void capd::dynset::FactorPolicy< DefaultPolicy >::onoffReorganization ( bool flag )

inlineinherited

sets the flag which controls possibility of reorganization to new value

◆ 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()

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

capd::pdes::C0DoubletonSetGeometricTail< BaseT >::operator VectorType ( ) const

inlinevirtual

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

◆ refCurrentTime()

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

inlineinherited

◆ reorganize() [1/2]

void capd::dynset::FactorPolicy< DefaultPolicy >::reorganize	(	Matrix1 &	B,
		Matrix2 &	invB,
		Vector &	r,
		Matrix1 &	C,
		Vector &	r0
	)		const

inlineinherited

◆ reorganize() [2/2]

void capd::dynset::FactorPolicy< DefaultPolicy >::reorganize ( SetType & result ) const

inlineinherited

◆ reorganizeC1() [1/2]

void capd::dynset::FactorPolicy< DefaultPolicy >::reorganizeC1	(	Matrix &	B,
		Matrix &	invB,
		Matrix &	R,
		Matrix &	C,
		Matrix &	R0
	)		const

inlineinherited

◆ reorganizeC1() [2/2]

void capd::dynset::FactorPolicy< DefaultPolicy >::reorganizeC1 ( SetType & result ) const

inlineinherited

◆ reorganizeC1IfNeeded() [1/2]

template<typename BasePolicy = DefaultPolicy>

template<class Matrix >

bool capd::dynset::FactorReorganization< BasePolicy >::reorganizeC1IfNeeded	(	Matrix &	B,
		Matrix &	invB,
		Matrix &	R,
		Matrix &	C,
		Matrix &	R0
	)		const

inlineinherited

◆ reorganizeC1IfNeeded() [2/2]

template<typename BasePolicy = DefaultPolicy>

template<class SetType >

bool capd::dynset::FactorReorganization< BasePolicy >::reorganizeC1IfNeeded ( SetType & result ) const

inlineinherited

makes reorganization if needed. return true if reorganization was performed

◆ reorganizeC2()

void capd::dynset::FactorPolicy< DefaultPolicy >::reorganizeC2	(	Matrix &	B,
		Matrix &	invB,
		HessianT &	R,
		Matrix &	C,
		HessianT &	R0
	)		const

inlineinherited

◆ reorganizeC2IfNeeded() [1/2]

template<class Matrix , class Hessian >

bool capd::dynset::NoReorganization::reorganizeC2IfNeeded	(	Matrix &	,
		Matrix &	,
		Hessian &	,
		Matrix &	,
		Hessian &
	)		const

inlineinherited

◆ reorganizeC2IfNeeded() [2/2]

template<typename BasePolicy = DefaultPolicy>

template<class MatrixT , class HessianT >

bool capd::dynset::FactorReorganization< BasePolicy >::reorganizeC2IfNeeded	(	MatrixT &	B,
		MatrixT &	invB,
		HessianT &	R,
		MatrixT &	C,
		HessianT &	R0
	)		const

inlineinherited

◆ reorganizeIfNeeded() [1/2]

template<typename BasePolicy = DefaultPolicy>

template<class Matrix1 , class Matrix2 , class Vector >

bool capd::dynset::FactorReorganization< BasePolicy >::reorganizeIfNeeded	(	Matrix1 &	B,
		Matrix2 &	invB,
		Vector &	r,
		Matrix1 &	C,
		Vector &	r0
	)		const

inlineinherited

◆ reorganizeIfNeeded() [2/2]

template<typename BasePolicy = DefaultPolicy>

template<class SetType >

bool capd::dynset::FactorReorganization< BasePolicy >::reorganizeIfNeeded ( SetType & result ) const

inlineinherited

makes reorganization if needed.

◆ 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

◆ setC0Factor()

void capd::dynset::FactorPolicy< DefaultPolicy >::setC0Factor ( double A_factor )

inlineinherited

sets new value of c0Factor;

◆ setC1Factor()

void capd::dynset::FactorPolicy< DefaultPolicy >::setC1Factor ( double A_factor )

inlineinherited

sets new value of c1Factor;

◆ setC2Factor()

void capd::dynset::FactorPolicy< DefaultPolicy >::setC2Factor ( double A_factor )

inlineinherited

sets new value of c2Factor;

◆ 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

◆ setFactor()

void capd::dynset::FactorPolicy< DefaultPolicy >::setFactor ( double A_factor )

inlineinherited

sets c0,c1,c2 factors to new value

◆ setLastEnclosure() [1/2]

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

inlineprotectedinherited

◆ setLastEnclosure() [2/2]

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

void capd::pdes::C0DoubletonSetGeometricTail< BaseT >::setLastEnclosure ( const VectorType & enc )

inline

◆ 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 >

void capd::geomset::AffineSet< MatrixT >::setToIdentity ( )

inlineinherited

◆ show()

std::string capd::dynset::C0DoubletonSet< MatrixType, capd::C0Rect2Policies >::show ( void ) const

virtualinherited

returns a set detailed information

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

◆ toString()

std::string capd::dynset::FactorPolicy< DefaultPolicy >::toString ( ) const

inlineinherited

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_c0Factor

double capd::dynset::FactorPolicy< DefaultPolicy >::m_c0Factor

protectedinherited

◆ m_c1Factor

double capd::dynset::FactorPolicy< DefaultPolicy >::m_c1Factor

protectedinherited

◆ m_c2Factor

double capd::dynset::FactorPolicy< DefaultPolicy >::m_c2Factor

protectedinherited

◆ m_currentSeries

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

VectorType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::m_currentSeries

◆ m_currentSet

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

protectedinherited

◆ m_currentTime

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

protectedinherited

◆ m_enc

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

VectorType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::m_enc

◆ m_invB

template<typename MatrixT >

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

inherited

◆ m_lastEnclosure

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

protectedinherited

◆ m_onoff

bool capd::dynset::FactorPolicy< DefaultPolicy >::m_onoff

protectedinherited

◆ 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_tmp

template<typename BaseT = capd::dynset::C0DoubletonSet<GeometricBound<capd::interval>::MatrixType,capd::C0Rect2Policies>>

VectorType capd::pdes::C0DoubletonSetGeometricTail< BaseT >::m_tmp

◆ m_x

template<typename MatrixT >

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

inherited

x is a center of the set

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

capd/pdes/C0DoubletonSetGeometricTail.h

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Protected Member Functions

Protected Attributes

Member Typedef Documentation

◆ BaseSet

◆ ColumnVectorType

◆ Data

◆ DynSysType

◆ FiniteDimensionalBaseSet

◆ FiniteVectorType

◆ MatrixType

◆ NormType

◆ Policy

◆ RealMatrix

◆ RealVector

◆ ScalarType

◆ SetType

◆ size_type

◆ VectorType

Constructor & Destructor Documentation

◆ C0DoubletonSetGeometricTail() [1/5]

◆ C0DoubletonSetGeometricTail() [2/5]

◆ C0DoubletonSetGeometricTail() [3/5]

◆ C0DoubletonSetGeometricTail() [4/5]

◆ C0DoubletonSetGeometricTail() [5/5]

Member Function Documentation

◆ affineTransformation()

◆ degree()

◆ dimension()

◆ disableReorganization()

◆ evalAffineFunctional()

◆ evalAt()

◆ get_B()

◆ get_C()

◆ get_invB()

◆ get_r()

◆ get_r0()

◆ get_x()

◆ getC0Factor()

◆ getC1Factor()

◆ getC2Factor()

◆ getColumn_B()

◆ getColumn_C()

◆ getCurrentSeries()

◆ getCurrentTime()

◆ getElement_B()

◆ getElement_C()

◆ getElement_r()

◆ getElement_r0()

◆ getElement_x()

◆ getLastEnclosure()

◆ getRow_B()

◆ getRow_C()

◆ isC1ReorganizationNeeded() [1/2]

◆ isC1ReorganizationNeeded() [2/2]

◆ isC2ReorganizationNeeded()

◆ isReorganizationEnabled()

◆ isReorganizationNeeded() [1/2]

◆ isReorganizationNeeded() [2/2]

◆ move() [1/3]

◆ move() [2/3]

◆ move() [3/3]

◆ name()

◆ onoffReorganization()

◆ operator MatrixT::RowVectorType()

◆ operator VectorType()

◆ refCurrentTime()

◆ reorganize() [1/2]

◆ reorganize() [2/2]

◆ reorganizeC1() [1/2]

◆ reorganizeC1() [2/2]

◆ reorganizeC1IfNeeded() [1/2]

◆ reorganizeC1IfNeeded() [2/2]

◆ reorganizeC2()

◆ reorganizeC2IfNeeded() [1/2]

◆ reorganizeC2IfNeeded() [2/2]

◆ reorganizeIfNeeded() [1/2]