codac
1.5.6
Loading...
Searching...
No Matches
src
core
domains
interval
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
"
16
#include "
codac_IntervalVector.h
"
17
#include "ibex_IntervalMatrix.h"
18
19
namespace
codac
20
{
21
using
ibex::IntervalMatrix;
22
}
23
24
#endif
codac_Interval.h
codac_IntervalVector.h
codac
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition
codac_capd_helpers.h:9
Generated by
1.11.0