CAPD DynSys Library  5.2.0
capd::dynset::CanonicalReorganization< DoubletonT, FactorPolicyT > Class Template Reference

During reorganization we set C and B to Identity and put everything into r0. More...

#include <capd/dynset/reorganization/CanonicalReorganization.h>

Public Types

typedef DoubletonT SetType
 
typedef SetType::MatrixType MatrixType
 
typedef MatrixType::RowVectorType VectorType
 
typedef MatrixType::ScalarType ScalarType
 
typedef FactorPolicyT FactorPolicy
 

Public Member Functions

 CanonicalReorganization (double factor=1.0)
 
bool isReorganizationNeeded (const SetType &result) const
 
bool reorganizeIfNeeded (SetType &result) const
 makes reorganization if needed. return true if reorganization was performed More...
 
std::string name () const
 

Static Public Member Functions

static void reorganize (SetType &result)
 

Detailed Description

template<typename DoubletonT, typename FactorPolicyT = capd::dynset::MemberFactorPolicy>
class capd::dynset::CanonicalReorganization< DoubletonT, FactorPolicyT >

During reorganization we set C and B to Identity and put everything into r0.

Works for doubleton sets, represented as: x + C*r0 + B*r.

Reorganization takes place if size of r is greater then size of r0 times given factor.

Member Typedef Documentation

◆ FactorPolicy

template<typename DoubletonT , typename FactorPolicyT = capd::dynset::MemberFactorPolicy>
typedef FactorPolicyT capd::dynset::CanonicalReorganization< DoubletonT, FactorPolicyT >::FactorPolicy

◆ MatrixType

template<typename DoubletonT , typename FactorPolicyT = capd::dynset::MemberFactorPolicy>
typedef SetType::MatrixType capd::dynset::CanonicalReorganization< DoubletonT, FactorPolicyT >::MatrixType

◆ ScalarType

template<typename DoubletonT , typename FactorPolicyT = capd::dynset::MemberFactorPolicy>
typedef MatrixType::ScalarType capd::dynset::CanonicalReorganization< DoubletonT, FactorPolicyT >::ScalarType

◆ SetType

template<typename DoubletonT , typename FactorPolicyT = capd::dynset::MemberFactorPolicy>
typedef DoubletonT capd::dynset::CanonicalReorganization< DoubletonT, FactorPolicyT >::SetType

◆ VectorType

template<typename DoubletonT , typename FactorPolicyT = capd::dynset::MemberFactorPolicy>
typedef MatrixType::RowVectorType capd::dynset::CanonicalReorganization< DoubletonT, FactorPolicyT >::VectorType

Constructor & Destructor Documentation

◆ CanonicalReorganization()

template<typename DoubletonT , typename FactorPolicyT = capd::dynset::MemberFactorPolicy>
capd::dynset::CanonicalReorganization< DoubletonT, FactorPolicyT >::CanonicalReorganization ( double  factor = 1.0)
inline

Member Function Documentation

◆ isReorganizationNeeded()

template<typename DoubletonT , typename FactorPolicyT = capd::dynset::MemberFactorPolicy>
bool capd::dynset::CanonicalReorganization< DoubletonT, FactorPolicyT >::isReorganizationNeeded ( const SetType result) const
inline

◆ name()

template<typename DoubletonT , typename FactorPolicyT = capd::dynset::MemberFactorPolicy>
std::string capd::dynset::CanonicalReorganization< DoubletonT, FactorPolicyT >::name ( ) const
inline

◆ reorganize()

template<typename DoubletonT , typename FactorPolicyT = capd::dynset::MemberFactorPolicy>
static void capd::dynset::CanonicalReorganization< DoubletonT, FactorPolicyT >::reorganize ( SetType result)
inlinestatic

◆ reorganizeIfNeeded()

template<typename DoubletonT , typename FactorPolicyT = capd::dynset::MemberFactorPolicy>
bool capd::dynset::CanonicalReorganization< DoubletonT, FactorPolicyT >::reorganizeIfNeeded ( SetType result) const
inline

makes reorganization if needed. return true if reorganization was performed