CAPD DynSys Library  5.2.0
Public Types | Public Member Functions | Static Public Member Functions | Public Attributes | Protected Member Functions | Protected Attributes | List of all members
capd::dynset::C11Rect2Set< MatrixT > Class Template Referenceabstract

#include <capd/dynset/C11Rect2Set.h>

Public Types

typedef MatrixT MatrixType
 
typedef MatrixType::RowVectorType VectorType
 
typedef MatrixType::ScalarType ScalarType
 
typedef C1DoubletonSet< MatrixT, C11Rect2Policies > BaseSet
 
typedef BaseSet::C0BaseSet C0BaseSet
 
typedef BaseSet::C1BaseSet C1BaseSet
 
typedef C1Set< MatrixT > SetType
 
typedef C1Set< MatrixT >::DynSysType DynSysType
 
typedef MatrixType::size_type size_type
 
typedef C1DoubletonData< MatrixT > Data
 
typedef C11Rect2Policies Policy
 
typedef BaseSet::ColumnVectorType ColumnVectorType
 
typedef BaseSet::ColumnVectorType ColumnVectorType
 
typedef MatrixType::template rebind< typename ScalarType::BoundType >::other RealMatrix
 
typedef VectorType::template rebind< typename ScalarType::BoundType >::other RealVector
 
typedef BaseSet::NormType NormType
 

Public Member Functions

 C11Rect2Set (const BaseSet &s)
 
void move (DynSysType &dynsys, C11Rect2Set &result) const
 computes image of the set after one step/iterate of the dynamical system and stores it in result More...
 
std::string name () const
 returns set's name More...
 
std::string toString () const
 returns set detailed information More...
 
void move (DynSysType &dynsys)
 computes image of the set after one step/iterate of the dynamical system More...
 
void move (DynSysType &dynsys, C1DoubletonSet &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
 
virtual std::string name () const
 returns set's name More...
 
const MatrixType & get_R0 () const
 
const MatrixType & get_R0 () const
 
const ScalarType & getElement_R0 (size_type i, size_type j) const
 
const ScalarType & getElement_R0 (size_type i, size_type j) const
 
VectorType getRow_R0 (size_type i) const
 
VectorType getRow_R0 (size_type i) const
 
ColumnVectorType getColumn_R0 (size_type j) const
 
ColumnVectorType getColumn_R0 (size_type j) const
 
const MatrixType & get_Cjac () const
 
const MatrixType & get_Cjac () const
 
const ScalarType & getElement_Cjac (size_type i, size_type j) const
 
const ScalarType & getElement_Cjac (size_type i, size_type j) const
 
VectorType getRow_Cjac (size_type i) const
 
VectorType getRow_Cjac (size_type i) const
 
ColumnVectorType getColumn_Cjac (size_type j) const
 
ColumnVectorType getColumn_Cjac (size_type j) const
 
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
 
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 & getLastMatrixEnclosure () const
 
virtual operator MatrixT () const
 returns an enclosure of derivative in the canonical coordinates More...
 
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+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 ) 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+C*r0+B*r. Then f(X) = grad*(X-x0) can be computed as grad*(x-x0) + (grad*C)*r0 + (grad*B)*r. 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 ()
 
void setToIdentity (size_type dim)
 
void setToIdentity ()
 sets the set to identity More...
 
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)
 
 operator MatrixType () const
 
virtual MatrixType affineMatrixTransformation (const MatrixType &) const
 returns image of the set after affine transformation More...
 
void set_R0 (const MatrixType &R0)
 
void setElement_R0 (size_type i, size_type j, const ScalarType &s)
 
template<typename VectorT >
void setRow_R0 (size_type i, const VectorT &v)
 
template<typename VectorT >
void setColumn_R0 (size_type j, const VectorT &v)
 
void set_Cjac (const MatrixType &C)
 
void setElement_Cjac (size_type i, size_type j, const ScalarType &s)
 
template<typename VectorT >
void setRow_Cjac (size_type i, const VectorT &v)
 
template<typename VectorT >
void setColumn_Cjac (size_type j, const VectorT &v)
 
const MatrixType & get_D () const
 
const ScalarType & getElement_D (size_type i, size_type j) const
 
VectorType getRow_D (size_type i) const
 
ColumnVectorType getColumn_D (size_type j) const
 
void set_D (const MatrixType &Bjac)
 
void setElement_D (size_type i, size_type j, const ScalarType &s)
 
template<typename VectorT >
void setRow_D (size_type i, const VectorT &v)
 
template<typename VectorT >
void setColumn_D (size_type j, const VectorT &v)
 
const MatrixType & get_R () const
 
const ScalarType & getElement_R (size_type i, size_type j) const
 
VectorType getRow_R (size_type i) const
 
ColumnVectorType getColumn_R (size_type j) const
 
void set_R (const MatrixType &Bjac)
 
void setElement_R (size_type i, size_type j, const ScalarType &s)
 
template<typename VectorT >
void setRow_R (size_type i, const VectorT &v)
 
template<typename VectorT >
void setColumn_R (size_type j, const VectorT &v)
 
const MatrixType & get_invBjac () const
 
const MatrixType & get_Bjac () const
 
const ScalarType & getElement_Bjac (size_type i, size_type j) const
 
VectorType getRow_Bjac (size_type i) const
 
ColumnVectorType getColumn_Bjac (size_type j) const
 
void set_Bjac (const MatrixType &Bjac)
 
void setElement_Bjac (size_type i, size_type j, const ScalarType &s)
 
template<typename VectorT >
void setRow_Bjac (size_type i, const VectorT &v)
 
template<typename VectorT >
void setColumn_Bjac (size_type j, const VectorT &v)
 

Static Public Member Functions

static void move (const C1BaseSet &set, C1BaseSet &result, MatrixType &bound, Data &data)
 this computes next representation of the set given computed one-step enclosure of the form y + jacPhi*deltaX + rem More...
 
const static size_type degree ()
 

Public Attributes

MatrixType m_R0
 r0 is a interval set in given coordinate system that represents 'Lipschitz' part More...
 
MatrixType m_Cjac
 C is a coordinate system of the 'Lipschitz' part. More...
 
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...
 
MatrixType m_D
 D is a center of the set. More...
 
MatrixType m_Bjac
 Bjac is a coordinate system. More...
 
MatrixType m_R
 R is a interval set in given coordinate system. More...
 
MatrixType m_invBjac
 
MatrixType jacRem
 
MatrixType jacEnc
 
VectorType x
 
VectorType deltaX
 
VectorType y
 
VectorType deltaY
 
VectorType rem
 
VectorType enc
 
MatrixType jacPhi
 
MatrixType deltaC
 
MatrixType B
 

Protected Member Functions

void setLastMatrixEnclosure (const MatrixT &M)
 
void setLastEnclosure (const MatrixT::RowVectorType &enc)
 

Protected Attributes

double m_c0Factor
 
double m_c1Factor
 
double m_c2Factor
 
bool m_onoff
 
ScalarType m_currentTime
 
MatrixT m_currentMatrix
 
MatrixT m_lastMatrixEnclosure
 
MatrixT::RowVectorType m_currentSet
 
MatrixT::RowVectorType m_lastEnclosure
 

Member Typedef Documentation

◆ BaseSet

template<typename MatrixT >
typedef C1DoubletonSet<MatrixT,C11Rect2Policies> capd::dynset::C11Rect2Set< MatrixT >::BaseSet

◆ C0BaseSet

template<typename MatrixT >
typedef BaseSet::C0BaseSet capd::dynset::C11Rect2Set< MatrixT >::C0BaseSet

◆ C1BaseSet

template<typename MatrixT >
typedef BaseSet::C1BaseSet capd::dynset::C11Rect2Set< MatrixT >::C1BaseSet

◆ ColumnVectorType [1/2]

template<typename MatrixT >
typedef BaseSet::ColumnVectorType capd::geomset::MatrixDoubletonSet< MatrixT >::ColumnVectorType
inherited

◆ ColumnVectorType [2/2]

template<typename MatrixT >
typedef BaseSet::ColumnVectorType capd::geomset::CenteredDoubletonSet< MatrixT >::ColumnVectorType
inherited

◆ Data

typedef C1DoubletonData<MatrixT> capd::dynset::C1DoubletonSet< MatrixT, C11Rect2Policies >::Data
inherited

◆ DynSysType

template<typename MatrixT >
typedef C1Set<MatrixT>::DynSysType capd::dynset::C11Rect2Set< MatrixT >::DynSysType

◆ MatrixType

template<typename MatrixT >
typedef MatrixT capd::dynset::C11Rect2Set< MatrixT >::MatrixType

◆ NormType

template<typename MatrixT >
typedef BaseSet::NormType capd::geomset::MatrixDoubletonSet< MatrixT >::NormType
inherited

◆ Policy

typedef C11Rect2Policies capd::dynset::C1DoubletonSet< MatrixT, C11Rect2Policies >::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::dynset::C11Rect2Set< MatrixT >::ScalarType

◆ SetType

template<typename MatrixT >
typedef C1Set<MatrixT> capd::dynset::C11Rect2Set< MatrixT >::SetType

◆ size_type

typedef MatrixType::size_type capd::dynset::C1DoubletonSet< MatrixT, C11Rect2Policies >::size_type
inherited

◆ VectorType

template<typename MatrixT >
typedef MatrixType::RowVectorType capd::dynset::C11Rect2Set< MatrixT >::VectorType

Constructor & Destructor Documentation

◆ C11Rect2Set()

template<typename MatrixT >
capd::dynset::C11Rect2Set< MatrixT >::C11Rect2Set ( const BaseSet &  s)
inline

Member Function Documentation

◆ degree()

template<typename MatrixT >
const static size_type capd::dynset::C1Set< 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::C1DoubletonSet< MatrixT, C11Rect2Policies >::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_Bjac()

template<typename MatrixT >
const MatrixType& capd::geomset::MatrixAffineSet< MatrixT >::get_Bjac ( ) const
inlineinherited

◆ get_Cjac() [1/2]

template<typename MatrixT >
const MatrixType& capd::geomset::MatrixDoubletonSet< MatrixT >::get_Cjac ( ) const
inlineinherited

◆ get_Cjac() [2/2]

const MatrixType& capd::geomset::MatrixDoubletonSet< MatrixT >::get_Cjac
inlineinherited

◆ get_D()

template<typename MatrixT >
const MatrixType& capd::geomset::MatrixAffineSet< MatrixT >::get_D ( ) const
inlineinherited

◆ get_invB()

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

◆ get_invBjac()

template<typename MatrixT >
const MatrixType& capd::geomset::MatrixAffineSet< MatrixT >::get_invBjac ( ) const
inlineinherited

◆ get_R()

template<typename MatrixT >
const MatrixType& capd::geomset::MatrixAffineSet< MatrixT >::get_R ( ) 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 MatrixType& capd::geomset::MatrixDoubletonSet< MatrixT >::get_R0 ( ) const
inlineinherited

◆ get_R0() [2/2]

const MatrixType& capd::geomset::MatrixDoubletonSet< MatrixT >::get_R0
inlineinherited

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

template<typename MatrixT >
ColumnVectorType capd::geomset::MatrixAffineSet< MatrixT >::getColumn_Bjac ( size_type  j) const
inlineinherited

◆ getColumn_Cjac() [1/2]

template<typename MatrixT >
ColumnVectorType capd::geomset::MatrixDoubletonSet< MatrixT >::getColumn_Cjac ( size_type  j) const
inlineinherited

◆ getColumn_Cjac() [2/2]

ColumnVectorType capd::geomset::MatrixDoubletonSet< MatrixT >::getColumn_Cjac
inlineinherited

◆ getColumn_D()

template<typename MatrixT >
ColumnVectorType capd::geomset::MatrixAffineSet< MatrixT >::getColumn_D ( size_type  j) const
inlineinherited

◆ getColumn_R()

template<typename MatrixT >
ColumnVectorType capd::geomset::MatrixAffineSet< MatrixT >::getColumn_R ( size_type  j) const
inlineinherited

◆ getColumn_R0() [1/2]

template<typename MatrixT >
ColumnVectorType capd::geomset::MatrixDoubletonSet< MatrixT >::getColumn_R0 ( size_type  j) const
inlineinherited

◆ getColumn_R0() [2/2]

ColumnVectorType capd::geomset::MatrixDoubletonSet< MatrixT >::getColumn_R0
inlineinherited

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

template<typename MatrixT >
const ScalarType& capd::geomset::MatrixAffineSet< MatrixT >::getElement_Bjac ( size_type  i,
size_type  j 
) const
inlineinherited

◆ getElement_Cjac() [1/2]

template<typename MatrixT >
const ScalarType& capd::geomset::MatrixDoubletonSet< MatrixT >::getElement_Cjac ( size_type  i,
size_type  j 
) const
inlineinherited

◆ getElement_Cjac() [2/2]

const ScalarType& capd::geomset::MatrixDoubletonSet< MatrixT >::getElement_Cjac
inlineinherited

◆ getElement_D()

template<typename MatrixT >
const ScalarType& capd::geomset::MatrixAffineSet< MatrixT >::getElement_D ( size_type  i,
size_type  j 
) const
inlineinherited

◆ getElement_r()

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

◆ getElement_R()

template<typename MatrixT >
const ScalarType& capd::geomset::MatrixAffineSet< MatrixT >::getElement_R ( size_type  i,
size_type  j 
) const
inlineinherited

◆ getElement_R0() [1/2]

template<typename MatrixT >
const ScalarType& capd::geomset::MatrixDoubletonSet< MatrixT >::getElement_R0 ( size_type  i,
size_type  j 
) const
inlineinherited

◆ getElement_R0() [2/2]

const ScalarType& capd::geomset::MatrixDoubletonSet< MatrixT >::getElement_R0
inlineinherited

◆ 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

◆ getLastMatrixEnclosure()

template<class MatrixT >
const MatrixT& capd::dynset::C1EnclosureHolder< MatrixT >::getLastMatrixEnclosure ( ) const
inlineinherited

◆ getRow_B()

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

◆ getRow_Bjac()

template<typename MatrixT >
VectorType capd::geomset::MatrixAffineSet< MatrixT >::getRow_Bjac ( size_type  i) const
inlineinherited

◆ getRow_Cjac() [1/2]

template<typename MatrixT >
VectorType capd::geomset::MatrixDoubletonSet< MatrixT >::getRow_Cjac ( size_type  i) const
inlineinherited

◆ getRow_Cjac() [2/2]

VectorType capd::geomset::MatrixDoubletonSet< MatrixT >::getRow_Cjac
inlineinherited

◆ getRow_D()

template<typename MatrixT >
VectorType capd::geomset::MatrixAffineSet< MatrixT >::getRow_D ( size_type  i) const
inlineinherited

◆ getRow_R()

template<typename MatrixT >
VectorType capd::geomset::MatrixAffineSet< MatrixT >::getRow_R ( size_type  i) const
inlineinherited

◆ getRow_R0() [1/2]

template<typename MatrixT >
VectorType capd::geomset::MatrixDoubletonSet< MatrixT >::getRow_R0 ( size_type  i) const
inlineinherited

◆ getRow_R0() [2/2]

VectorType capd::geomset::MatrixDoubletonSet< MatrixT >::getRow_R0
inlineinherited

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

void capd::dynset::C1DoubletonSet< MatrixType, C11Rect2Policies >::move ( const C1BaseSet &  set,
C1BaseSet &  result,
MatrixType &  bound,
Data &  data 
)
staticinherited

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

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

◆ move() [2/4]

void capd::dynset::C1DoubletonSet< MatrixType, C11Rect2Policies >::move ( DynSysType &  dynsys)
virtualinherited

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

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

◆ move() [3/4]

template<typename MatrixType >
void capd::dynset::C11Rect2Set< MatrixType >::move ( DynSysType &  dynsys,
C11Rect2Set< MatrixT > &  result 
) const

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

◆ move() [4/4]

void capd::dynset::C1DoubletonSet< MatrixType, C11Rect2Policies >::move ( DynSysType &  dynsys,
C1DoubletonSet< MatrixT, C11Rect2Policies > &  result 
) const
inherited

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

◆ name() [1/2]

template<typename MatrixT >
std::string capd::dynset::C11Rect2Set< MatrixT >::name ( ) const
inlinevirtual

returns set's name

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

◆ name() [2/2]

virtual std::string capd::dynset::C1DoubletonSet< MatrixT, C11Rect2Policies >::name
inlinevirtualinherited

returns set's name

◆ onoffReorganization()

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

sets the flag which controls possibility of reorganization to new value

◆ operator MatrixT()

template<class MatrixT >
virtual capd::dynset::C1EnclosureHolder< MatrixT >::operator MatrixT ( ) const
inlinevirtualinherited

returns an enclosure of derivative in the canonical coordinates

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

template<typename MatrixT >
capd::geomset::MatrixDoubletonSet< MatrixT >::operator MatrixType ( ) const
inherited

◆ 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::dynset::CnSet< MatrixT, 0 >.

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

template<typename MatrixT >
void capd::geomset::MatrixAffineSet< MatrixT >::set_Bjac ( const MatrixType &  Bjac)
inlineinherited

◆ set_Cjac()

template<typename MatrixT >
void capd::geomset::MatrixDoubletonSet< MatrixT >::set_Cjac ( const MatrixType &  C)
inlineinherited

◆ set_D()

template<typename MatrixT >
void capd::geomset::MatrixAffineSet< MatrixT >::set_D ( const MatrixType &  Bjac)
inlineinherited

◆ set_invB()

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

◆ set_R()

template<typename MatrixT >
void capd::geomset::MatrixAffineSet< MatrixT >::set_R ( const MatrixType &  Bjac)
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::MatrixDoubletonSet< MatrixT >::set_R0 ( const MatrixType &  R0)
inlineinherited

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

template<typename MatrixT >
template<typename VectorT >
void capd::geomset::MatrixAffineSet< MatrixT >::setColumn_Bjac ( size_type  j,
const VectorT &  v 
)
inlineinherited

◆ setColumn_Cjac()

template<typename MatrixT >
template<typename VectorT >
void capd::geomset::MatrixDoubletonSet< MatrixT >::setColumn_Cjac ( size_type  j,
const VectorT &  v 
)
inlineinherited

◆ setColumn_D()

template<typename MatrixT >
template<typename VectorT >
void capd::geomset::MatrixAffineSet< MatrixT >::setColumn_D ( size_type  j,
const VectorT &  v 
)
inlineinherited

◆ setColumn_R()

template<typename MatrixT >
template<typename VectorT >
void capd::geomset::MatrixAffineSet< MatrixT >::setColumn_R ( size_type  j,
const VectorT &  v 
)
inlineinherited

◆ setColumn_R0()

template<typename MatrixT >
template<typename VectorT >
void capd::geomset::MatrixDoubletonSet< MatrixT >::setColumn_R0 ( size_type  j,
const VectorT &  v 
)
inlineinherited

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

template<typename MatrixT >
void capd::geomset::MatrixAffineSet< MatrixT >::setElement_Bjac ( size_type  i,
size_type  j,
const ScalarType &  s 
)
inlineinherited

◆ setElement_Cjac()

template<typename MatrixT >
void capd::geomset::MatrixDoubletonSet< MatrixT >::setElement_Cjac ( size_type  i,
size_type  j,
const ScalarType &  s 
)
inlineinherited

◆ setElement_D()

template<typename MatrixT >
void capd::geomset::MatrixAffineSet< MatrixT >::setElement_D ( size_type  i,
size_type  j,
const ScalarType &  s 
)
inlineinherited

◆ setElement_r()

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

◆ setElement_R()

template<typename MatrixT >
void capd::geomset::MatrixAffineSet< MatrixT >::setElement_R ( size_type  i,
size_type  j,
const ScalarType &  s 
)
inlineinherited

◆ setElement_R0()

template<typename MatrixT >
void capd::geomset::MatrixDoubletonSet< MatrixT >::setElement_R0 ( size_type  i,
size_type  j,
const ScalarType &  s 
)
inlineinherited

◆ 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 VectorT &  enc)
inlineprotectedinherited

◆ setLastMatrixEnclosure()

template<class MatrixT >
void capd::dynset::C1EnclosureHolder< MatrixT >::setLastMatrixEnclosure ( const MatrixT &  M)
inlineprotectedinherited

◆ setRow_B()

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

◆ setRow_Bjac()

template<typename MatrixT >
template<typename VectorT >
void capd::geomset::MatrixAffineSet< MatrixT >::setRow_Bjac ( size_type  i,
const VectorT &  v 
)
inlineinherited

◆ setRow_Cjac()

template<typename MatrixT >
template<typename VectorT >
void capd::geomset::MatrixDoubletonSet< MatrixT >::setRow_Cjac ( size_type  i,
const VectorT &  v 
)
inlineinherited

◆ setRow_D()

template<typename MatrixT >
template<typename VectorT >
void capd::geomset::MatrixAffineSet< MatrixT >::setRow_D ( size_type  i,
const VectorT &  v 
)
inlineinherited

◆ setRow_R()

template<typename MatrixT >
template<typename VectorT >
void capd::geomset::MatrixAffineSet< MatrixT >::setRow_R ( size_type  i,
const VectorT &  v 
)
inlineinherited

◆ setRow_R0()

template<typename MatrixT >
template<typename VectorT >
void capd::geomset::MatrixDoubletonSet< MatrixT >::setRow_R0 ( size_type  i,
const VectorT &  v 
)
inlineinherited

◆ setToIdentity()

template<typename MatrixT >
void capd::geomset::AffineSet< MatrixT >::setToIdentity ( )
inlineinherited

◆ show()

std::string capd::dynset::C1DoubletonSet< MatrixType, C11Rect2Policies >::show
virtualinherited

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

◆ toString() [1/2]

template<typename MatrixT >
std::string capd::dynset::C11Rect2Set< MatrixT >::toString ( ) const
inlinevirtual

returns set detailed information

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

◆ toString() [2/2]

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_Bjac

template<typename MatrixT >
MatrixType capd::geomset::MatrixAffineSet< MatrixT >::m_Bjac
inherited

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

MatrixType capd::geomset::MatrixDoubletonSet< MatrixT >::m_Cjac
inherited

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

◆ m_currentMatrix

template<class MatrixT >
MatrixT capd::dynset::C1EnclosureHolder< MatrixT >::m_currentMatrix
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_D

template<typename MatrixT >
MatrixType capd::geomset::MatrixAffineSet< MatrixT >::m_D
inherited

D is a center of the set.

◆ m_invB

template<typename MatrixT >
MatrixType capd::geomset::AffineSet< MatrixT >::m_invB
inherited

◆ m_invBjac

template<typename MatrixT >
MatrixType capd::geomset::MatrixAffineSet< MatrixT >::m_invBjac
inherited

◆ m_lastEnclosure

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

◆ m_lastMatrixEnclosure

template<class MatrixT >
MatrixT capd::dynset::C1EnclosureHolder< MatrixT >::m_lastMatrixEnclosure
protectedinherited

◆ m_onoff

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

◆ m_R

template<typename MatrixT >
MatrixType capd::geomset::MatrixAffineSet< MatrixT >::m_R
inherited

R is a interval set in given coordinate system.

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

MatrixType capd::geomset::MatrixDoubletonSet< 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