codac2_Matrix_addons_IntervalVector.h

Go to the documentation of this file.

template<typename T,int R=RowsAtCompileTime,int C=ColsAtCompileTime>
  requires (std::is_arithmetic_v<T> && IsIntervalDomain<Scalar> && IsVectorOrRow<R,C>)
Matrix(std::initializer_list<T> l)
  : Matrix<codac2::Interval,R,C>(R == 1 ? 1 : l.size(), C == 1 ? 1 : l.size())
{
  assert_release(!std::empty(l));
  Index i = 0;
  for(const auto& li : l)
    (*this)[i++] = codac2::Interval(li);
}

template<int R=RowsAtCompileTime,int C=ColsAtCompileTime>
  requires IsIntervalDomain<Scalar> && IsVectorOrRow<R,C>
Matrix(std::initializer_list<std::initializer_list<double>> l)
  : Matrix<codac2::Interval,R,C>(R == 1 ? 1 : l.size(), C == 1 ? 1 : l.size())
{
  assert_release(!std::empty(l));
  Index i = 0;
  for(const auto& li : l)
    (*this)[i++] = codac2::Interval(li);
}

template<int R=RowsAtCompileTime,int C=ColsAtCompileTime>
  requires IsIntervalDomain<Scalar> && IsVectorOrRow<R,C>
Matrix(std::initializer_list<codac2::Interval> l)
  : Matrix<codac2::Interval,R,C>(R == 1 ? 1 : l.size(), C == 1 ? 1 : l.size())
{
  assert_release(!std::empty(l));
  Index i = 0;
  for(const auto& li : l)
    (*this)[i++] = li;
}

template<int R=RowsAtCompileTime,int C=ColsAtCompileTime>
  requires IsIntervalDomain<Scalar> && IsVectorOrRow<R,C>
Matrix(int n, const double bounds[][2])
  : Matrix<codac2::Interval,R,C>(R == 1 ? 1 : n, C == 1 ? 1 : n, bounds)
{
  assert_release(n > 0);
}

template<int R=RowsAtCompileTime,int C=ColsAtCompileTime>
  requires IsIntervalDomain<Scalar> && IsVectorOrRow<R,C>
inline static auto empty(Index n)
{
  assert_release(n >= 0);
  return Matrix<codac2::Interval,R,C>::constant((int)n,codac2::Interval::empty());
}