api/html/codac___vector_8h_source.html

 #ifndef __CODAC_VECTOR_H__
 #define __CODAC_VECTOR_H__

 #include "ibex_Vector.h"

 namespace codac
 {
   using ibex::Vector;
 }

 #endif
codac
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9