codac  1.5.7
codac_capd_helpers.h
1 #ifndef CODAC_LIB_CODAC_CAPD_HELPERS_H
2 #define CODAC_LIB_CODAC_CAPD_HELPERS_H
3 
4 #include "capd/capdlib.h"
5 #include "codac_Interval.h"
6 #include "codac_IntervalVector.h"
7 #include "codac_IntervalMatrix.h"
8 
9 namespace codac {
10 class CapdHelpers {
11  public:
12  static Interval c2i_i(const capd::interval &x);
13  static IntervalVector c2i_v(const capd::IVector &x);
14  static IntervalMatrix c2i_m(const capd::IMatrix &x);
15  static capd::Interval i2c_i(const Interval &x);
16  static capd::IVector i2c_v(const IntervalVector &x);
17  static capd::IVector i2c_v_mid(const IntervalVector &x);
18  static capd::IMatrix i2c_m(const IntervalMatrix &x);
19  static capd::IMatrix i2c_m_mid(const IntervalMatrix &x);
20 };
21 }
22 
23 #endif //CODAC_LIB_CODAC_CAPD_HELPERS_H
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9