tatooine::field_concept Concept Reference

#include <field_concept.h>

Concept definition

template<typename T>
concept tatooine::field_concept = 
    has_real_type<T> &&
    has_num_dimensions<T> &&
    has_pos_type<T> &&
    has_tensor_type<T> &&
    requires(std::decay_t<T> const f, field_pos_type<std::decay_t<T>> x,
             field_real_type< std::decay_t<T>> t) {
  { f(x, t) } -> std::same_as<field_tensor_type<std::decay_t<T>>>;
}