codac  1.5.7
codac_Function.h
Go to the documentation of this file.
1 
12 #ifndef __CODAC_FUNCTION_H__
13 #define __CODAC_FUNCTION_H__
14 
15 #include "ibex_Function.h"
16 
17 namespace codac
18 {
19  using ibex::Function;
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