#include <ibex_Interval.h>
#include <ibex_Vector.h>
#include <ibex_Matrix.h>
#include <ibex_IntervalVector.h>
#include <ibex_IntervalMatrix.h>
#include "codac2_Interval.h"
#include "codac2_Vector.h"
#include "codac2_IntervalVector.h"
#include "codac2_Matrix.h"
#include "codac2_IntervalMatrix.h"
Go to the source code of this file.
- Date
- 2024
- Author
- Simon Rohou
- Copyright
- Copyright 2024 Codac Team
- License: GNU Lesser General Public License (LGPL)
◆ to_ibex() [1/5]
Casts a Codac Interval object into an IBEX Interval object.
- Parameters
-
x | const Codac type Interval |
- Returns
- const IBEX type Interval
◆ to_codac() [1/5]
Casts an IBEX Interval object into a Codac Interval object.
- Parameters
-
x | const IBEX type Interval |
- Returns
- Codac type Interval
◆ to_ibex() [2/5]
Casts a Codac Vector object into an IBEX Vector object.
- Parameters
-
- Returns
- IBEX type Vector
◆ to_codac() [2/5]
Casts an IBEX Vector object into a Codac Vector object.
- Parameters
-
- Returns
- Codac type Vector
◆ to_ibex() [3/5]
Casts a Codac IntervalVector object into an IBEX IntervalVector object.
- Parameters
-
x | const Codac type IntervalVector |
- Returns
- IBEX type IntervalVector
◆ to_codac() [3/5]
Casts an IBEX IntervalVector object into a Codac IntervalVector object.
- Parameters
-
x | const IBEX type IntervalVector |
- Returns
- Codac type IntervalVector
◆ to_ibex() [4/5]
Casts a Codac Matrix object into an IBEX Matrix object.
- Parameters
-
- Returns
- IBEX type Matrix
◆ to_codac() [4/5]
Casts an IBEX Matrix object into a Codac Matrix object.
- Parameters
-
- Returns
- Codac type Matrix
◆ to_ibex() [5/5]
Casts a Codac IntervalMatrix object into an IBEX IntervalMatrix object.
- Parameters
-
x | const Codac type IntervalMatrix |
- Returns
- IBEX type IntervalMatrix
◆ to_codac() [5/5]
Casts an IBEX IntervalMatrix object into a Codac IntervalMatrix object.
- Parameters
-
x | const IBEX type IntervalMatrix |
- Returns
- Codac type IntervalMatrix