codac 1.5.6
Loading...
Searching...
No Matches
codac_IntervalMatrix.h
Go to the documentation of this file.
1
12#ifndef __CODAC_INTERVALMATRIX_H__
13#define __CODAC_INTERVALMATRIX_H__
14
15#include "codac_Interval.h"
17#include "ibex_IntervalMatrix.h"
18
19namespace codac
20{
21 using ibex::IntervalMatrix;
22}
23
24#endif
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9