serif::utils::dependencies::CompatibleComputations Concept Reference

A computational graph needs unique producers, valid input ownership, and no cycles. More...

#include <computation_graph.hpp>

Concept definition

template<typename... Computations>
concept serif::utils::dependencies::CompatibleComputations = 
        (IsComputation<Computations> && ...) &&
        misc::traits::all_unique_types_v<typename std::remove_cvref_t<Computations>::Key...> &&
        (detail::valid_input_ownership_v<Computations, KeyList<typename std::remove_cvref_t<Computations>::Key...>> && ...) &&
        detail::Graph<std::remove_cvref_t<Computations>...>::acyclic()

Detailed Description

A computational graph needs unique producers, valid input ownership, and no cycles.