serif::solver::continuation::IdentifiedSpecification Concept Reference

Require explicit identity data, never an object address or incidental memory representation. More...

#include <parameters.hpp>

Concept definition

template<typename Specification>
concept serif::solver::continuation::IdentifiedSpecification =  requires(const Specification& value) {
        SpecificationTraits<Specification>::identity(value);
        requires std::ranges::forward_range<decltype(SpecificationTraits<Specification>::identity(value))>;
        requires std::ranges::sized_range<decltype(SpecificationTraits<Specification>::identity(value))>;
        requires std::same_as<std::ranges::range_value_t<decltype(SpecificationTraits<Specification>::identity(value))>, double>;
    }

Detailed Description

Require explicit identity data, never an object address or incidental memory representation.