codac_IntervalVector.h

Go to the documentation of this file.

#ifndef __CODAC_INTERVALVECTOR_H__
#define __CODAC_INTERVALVECTOR_H__

#include "codac_Interval.h"
#include "ibex_IntervalVector.h"

namespace codac
{
  using ibex::IntervalVector;
}

#endif