limes::expr::concepts::ExprNode Concept Reference

#include <concepts.hpp>

Concept definition

template<typename E, typename T>
concept limes::expr::concepts::ExprNode =  requires(E const& expr, std::span<T const> args) {
    { E::arity_v } -> std::convertible_to<std::size_t>;
    { expr.evaluate(args) } -> std::convertible_to<T>;
}

Detailed Description

Definition at line 12 of file concepts.hpp.