codac 1.5.6
Loading...
Searching...
No Matches
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"
8
9namespace codac {
10class 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