api/html/codac___ctc_8h_source.html

 #ifndef __CODAC_CTC_H__
 #define __CODAC_CTC_H__

 #include "ibex_Ctc.h"

 namespace codac
 {
   using ibex::Ctc;
 }

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