11 #ifndef __IBEX_SEP_TRANSFORM_H__
12 #define __IBEX_SEP_TRANSFORM_H__
15 #include "ibex_Function.h"
20 using ibex::IntervalVector;
51 virtual void separate(IntervalVector& xin, IntervalVector& xout);
61 IntervalVector yin, yout;
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9