11#ifndef __IBEX_SEP_TRANSFORM_H__
12#define __IBEX_SEP_TRANSFORM_H__
15#include "ibex_Function.h"
20using 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