Set representation for differential inclusions based on capd::dynset::Rect2Set class. More...

#include <capd/diffIncl/InclRect2Set.h>

Public Types
typedef MatrixT	MatrixType

typedef MatrixType::RowVectorType	VectorType

typedef MatrixType::ScalarType	ScalarType

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

typedef capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >	BaseSet

typedef MatrixType::size_type	size_type

typedef C0Set< MatrixT >::SetType	SetType

typedef C0Set< MatrixT >::DynSysType	DynSysType

typedef DoubletonData< MatrixT >	Data

typedef capd::C0Rect2Policies	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
	InclRect2Set (const VectorType &the_x)
	Constructors. More...

	InclRect2Set (const VectorType &the_x, const VectorType &the_r0)

	InclRect2Set (const VectorType &the_x, const MatrixType &the_C, const VectorType &the_r0)

	InclRect2Set (const VectorType &the_x, const MatrixType &the_C, const VectorType &the_r0, const VectorType &the_r)

template<typename DiffIncl >
void	move (DiffIncl &dynsys)

template<typename DiffIncl >
void	move (DiffIncl &dynsys, InclRect2Set &result) const

std::vector< VectorType >	getCorners () const

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

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

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

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

std::string	name () const
	returns set's name 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)

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

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

Detailed Description

template<typename MatrixT>
class capd::diffIncl::InclRect2Set< MatrixT >

Set representation for differential inclusions based on capd::dynset::Rect2Set class.

set is represented as: x + C*r0 + B*r where C*r0 - basic 'Lipschitz part' B*r - QR-decomposition of the remaining errors

Member Typedef Documentation

◆ BaseSet

template<typename MatrixT >

typedef capd::dynset::C0DoubletonSet<MatrixT, capd::C0Rect2Policies> capd::diffIncl::InclRect2Set< MatrixT >::BaseSet

◆ ColumnVectorType

template<typename MatrixT >

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

inherited

◆ Data

typedef DoubletonData<MatrixT> capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::Data

inherited

◆ DynSysType

typedef C0Set<MatrixT>::DynSysType capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::DynSysType

inherited

◆ MatrixType

template<typename MatrixT >

typedef MatrixT capd::diffIncl::InclRect2Set< MatrixT >::MatrixType

◆ NormType

template<typename MatrixT >

typedef capd::vectalg::Norm<VectorType,MatrixType> capd::diffIncl::InclRect2Set< MatrixT >::NormType

◆ Policy

typedef capd::C0Rect2Policies capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::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<typename MatrixT >

typedef MatrixType::ScalarType capd::diffIncl::InclRect2Set< MatrixT >::ScalarType

◆ SetType

typedef C0Set<MatrixT>::SetType capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::SetType

inherited

◆ size_type

typedef MatrixType::size_type capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::size_type

inherited

◆ VectorType

template<typename MatrixT >

typedef MatrixType::RowVectorType capd::diffIncl::InclRect2Set< MatrixT >::VectorType

Constructor & Destructor Documentation

◆ InclRect2Set() [1/4]

template<typename MatrixType >

capd::diffIncl::InclRect2Set< MatrixType >::InclRect2Set ( const VectorType & the_x )

inlineexplicit

Constructors.

◆ InclRect2Set() [2/4]

template<typename MatrixType >

capd::diffIncl::InclRect2Set< MatrixType >::InclRect2Set	(	const VectorType &	the_x,
		const VectorType &	the_r0
	)

inline

◆ InclRect2Set() [3/4]

template<typename MatrixType >

capd::diffIncl::InclRect2Set< MatrixType >::InclRect2Set	(	const VectorType &	the_x,
		const MatrixType &	the_C,
		const VectorType &	the_r0
	)

inline

◆ InclRect2Set() [4/4]

template<typename MatrixType >

capd::diffIncl::InclRect2Set< MatrixType >::InclRect2Set	(	const VectorType &	the_x,
		const MatrixType &	the_C,
		const VectorType &	the_r0,
		const VectorType &	the_r
	)

inline

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

◆ disableReorganization()

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

inlineinherited

◆ evalAt()

ScalarType capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::evalAt ( const Functional & f ) const

inlineinherited

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

◆ getCorners()

template<typename MatrixType >

std::vector< typename InclRect2Set< MatrixType >::VectorType > capd::diffIncl::InclRect2Set< MatrixType >::getCorners

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

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

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/5]

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/5]

template<typename MatrixType >

template<typename DiffIncl >

void capd::diffIncl::InclRect2Set< MatrixType >::move ( DiffIncl & dynsys )

◆ move() [3/5]

template<typename MatrixType >

template<typename DiffIncl >

void capd::diffIncl::InclRect2Set< MatrixType >::move	(	DiffIncl &	dynsys,
		InclRect2Set< MatrixT > &	result
	)		const

◆ move() [4/5]

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

virtualinherited

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

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

◆ move() [5/5]

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

inherited

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

◆ name()

std::string capd::dynset::C0DoubletonSet< MatrixT, capd::C0Rect2Policies >::name ( ) const

inlinevirtualinherited

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() [1/2]

template<typename MatrixT >

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

inherited

◆ 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

◆ 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 MatrixT::RowVectorType & 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()

void capd::dynset::C0EnclosureHolder< MatrixT::RowVectorType >::setLastEnclosure ( const MatrixT::RowVectorType & 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 >

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 ( void ) 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_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_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_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 files:

capd/diffIncl/InclRect2Set.h
capd/diffIncl/InclRect2Set.hpp

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Protected Member Functions

Protected Attributes

Detailed Description

template<typename MatrixT> class capd::diffIncl::InclRect2Set< MatrixT >

Member Typedef Documentation

◆ BaseSet

◆ ColumnVectorType

◆ Data

◆ DynSysType

◆ MatrixType

◆ NormType

◆ Policy

◆ RealMatrix

◆ RealVector

◆ ScalarType

◆ SetType

◆ size_type

◆ VectorType

Constructor & Destructor Documentation

◆ InclRect2Set() [1/4]

◆ InclRect2Set() [2/4]

◆ InclRect2Set() [3/4]

◆ InclRect2Set() [4/4]

Member Function Documentation

◆ degree()

◆ dimension()

◆ disableReorganization()

◆ evalAt()

◆ get_B()

◆ get_C()

◆ get_invB()

◆ get_r()

◆ get_r0()

◆ get_x()

◆ getC0Factor()

◆ getC1Factor()

◆ getC2Factor()

◆ getColumn_B()

◆ getColumn_C()

◆ getCorners()

◆ 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/5]

◆ move() [2/5]

◆ move() [3/5]

◆ move() [4/5]

◆ move() [5/5]

◆ name()

◆ onoffReorganization()

◆ operator MatrixT::RowVectorType()

◆ operator VectorType() [1/2]

◆ operator VectorType() [2/2]

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

template<typename MatrixT>
class capd::diffIncl::InclRect2Set< MatrixT >