d9/d5c/conceptnum__collect_1_1ode_1_1concepts_1_1formula.html

template<typename T>

concept num_collect::ode::concepts::formula =  requires(T& obj, const T& const_obj) {

    typename T::problem_type;

    typename T::variable_type;

    typename T::scalar_type;


    requires problem<typename T::problem_type>;

    requires std::is_same_v<typename T::variable_type,

        typename T::problem_type::variable_type>;

    requires std::is_same_v<typename T::scalar_type,

        typename T::problem_type::scalar_type>;


    { T::stages } -> base::concepts::decayed_to<index_type>;

    { T::order } -> base::concepts::decayed_to<index_type>;

    { T::log_tag } -> base::concepts::decayed_to<logging::log_tag_view>;


    { T(std::declval<typename T::problem_type>()) };


    {

        obj.step(std::declval<typename T::scalar_type>() ,

            std::declval<typename T::scalar_type>() ,

            std::declval<typename T::variable_type>() ,

            std::declval<typename T::variable_type&>() )

    };


    { obj.problem() } -> base::concepts::reference_of<typename T::problem_type>;

    {

        const_obj.problem()

    } -> base::concepts::const_reference_of<typename T::problem_type>;

}

num_collect::base::concepts::decayed_to
Concept of same types.
Definition decayed_to.h:35

num_collect::ode::concepts::formula
Concept of formulas.
Definition formula.h:40

num_collect::ode::concepts::problem
Concept of problems of ordinary differential equations.
Definition problem.h:35