codac
1.5.6
Loading...
Searching...
No Matches
src
core
variables
real
codac_Vector.h
Go to the documentation of this file.
1
12
#ifndef __CODAC_VECTOR_H__
13
#define __CODAC_VECTOR_H__
14
15
#include "ibex_Vector.h"
16
17
namespace
codac
18
{
19
using
ibex::Vector;
20
}
21
22
#endif
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