api/html/codac___interval_8h_source.html

#ifndef __CODAC_INTERVAL_H__

#define __CODAC_INTERVAL_H__


#include "ibex_Interval.h"


namespace codac

{

  using ibex::Interval;

}


#endif

codac
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9