codac2_ibex.h

Go to the documentation of this file.

 
#pragma once
 
#include <ibex_Interval.h>
#include <ibex_Vector.h>
#include <ibex_Matrix.h>
#include <ibex_IntervalVector.h>
#include <ibex_IntervalMatrix.h>
#include "codac2_Interval.h"
#include "codac2_Vector.h"
#include "codac2_IntervalVector.h"
#include "codac2_Matrix.h"
#include "codac2_IntervalMatrix.h"
 
namespace codac2
{
  ibex::Interval to_ibex(const codac2::Interval& x);

  codac2::Interval to_codac(const ibex::Interval& x);

  ibex::Vector to_ibex(const codac2::Vector& x);

  codac2::Vector to_codac(const ibex::Vector& x);

  ibex::IntervalVector to_ibex(const codac2::IntervalVector& x);

  codac2::IntervalVector to_codac(const ibex::IntervalVector& x);

  ibex::Matrix to_ibex(const codac2::Matrix& x);

  codac2::Matrix to_codac(const ibex::Matrix& x);

  ibex::IntervalMatrix to_ibex(const codac2::IntervalMatrix& x);

  codac2::IntervalMatrix to_codac(const ibex::IntervalMatrix& x);
}