codac 1.5.6
Loading...
Searching...
No Matches
codac_CtcCompo.h
Go to the documentation of this file.
1
12#ifndef __CODAC_CTCCOMPO_H__
13#define __CODAC_CTCCOMPO_H__
14
15#include "ibex_CtcCompo.h"
16
17namespace codac
18{
19 using ibex::CtcCompo;
20}
21
22#endif
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9