absnormalformconcept.h

Go to the documentation of this file.

 
 
#ifndef ADOLC_ABSNORMALFORM_CONCEPT_H
#define ADOLC_ABSNORMALFORM_CONCEPT_H
#include <concepts>
#include <type_traits>
 
namespace ADOLC {
struct ANFShape {};
 
template <typename U>
concept DerivedFromANFShape =
    std::derived_from<std::remove_cvref_t<U>, ANFShape>;
 
template <typename T>
concept AbsNormalFormType = requires(T &t) {
  t.Y;
  t.J;
  t.Z;
  t.L;
  t.y;
  t.z;
  t.cy;
  t.cz;
  { t.empty() } -> std::convertible_to<bool>;
  { t.clear() } -> std::same_as<void>;
  { t.dims() } -> DerivedFromANFShape;
  { t.resize(t.dims()) } -> std::same_as<void>;
  { t.updateCy() } -> std::same_as<void>;
  { t.updateCz() } -> std::same_as<void>;
};
} // namespace ADOLC
#endif // ADOLC_ABSNORMALFORM_CONCEPT_H