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