codac_Interval.h

Go to the documentation of this file.

#ifndef __CODAC_INTERVAL_H__
#define __CODAC_INTERVAL_H__

#include "ibex_Interval.h"

namespace codac
{
  using ibex::Interval;
}

#endif