mundy::convex::space::ValidConvexSpace Concept Reference

Concept for a valid space.

#include <convex.hpp>

Concept definition

template<class Space>
concept ValidConvexSpace = requires {
  typename std::remove_cvref_t<Space>::value_type;  // make the nested type check explicit
} && requires(const std::remove_cvref_t<Space>& s, typename std::remove_cvref_t<Space>::value_type x) {
  { s.project(x) } -> std::same_as<typename std::remove_cvref_t<Space>::value_type>;
  { s(x) } -> std::same_as<typename std::remove_cvref_t<Space>::value_type>;
}