codac2_Wrapper.h

Go to the documentation of this file.

 
#pragma once
 
#include "codac2_Interval.h"
#include "codac2_Vector.h"
#include "codac2_Matrix.h"
#include "codac2_IntervalVector.h"
#include "codac2_IntervalMatrix.h"
 
namespace codac2
{
  template<typename T, typename Enable=void>
  struct Wrapper
  { };
 
  template<typename T>
    requires (std::is_arithmetic_v<T>)
  struct Wrapper<T> {
    using Domain = Interval;
  };
 
  template<>
  struct Wrapper<Index> {
    using Domain = Interval;
  };
 
  template<typename T,typename D>
  struct AnalyticType;
 
  template<typename T,typename D>
  struct Wrapper<AnalyticType<T,D>> {
    using Domain = D;
  };
 
  template<typename OtherDerived>
  struct Wrapper<OtherDerived,
    typename std::enable_if<std::is_base_of_v<Eigen::MatrixBase<OtherDerived>,OtherDerived>>::type>
  {
    using Domain = Eigen::Matrix<Interval,OtherDerived::RowsAtCompileTime,OtherDerived::ColsAtCompileTime>;
    // Automatically sets:
    //   Wrapper<Vector>::Domain = IntervalVector
    //   Wrapper<IntervalVector>::Domain = IntervalVector
    //   Wrapper<Matrix>::Domain = IntervalMatrix
    //   Wrapper<IntervalMatrix>::Domain = IntervalMatrix
    //   + related possible expression templates
  };
}