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