ProcessLib::Graph Namespace Reference

Namespaces
namespace	detail

Functions
template<typename Function , typename... Tuples>
auto	apply (Function &f, Tuples &... ts) -> typename detail::GetFunctionReturnType< std::decay_t< Function > >::type
template<typename Function , typename... Tuples>
auto	eval (Function &f, Tuples &... ts) -> typename detail::GetFunctionReturnType< decltype(&Function::eval)>::type
template<typename T , typename... Tuples>
auto &	get (Tuples &... ts)

Function Documentation

apply()

template<typename Function , typename... Tuples>

auto ProcessLib::Graph::apply	(	Function &	f,
		Tuples &...	ts ) -> typename detail::GetFunctionReturnType<std::decay_t<Function>>::type

Invokes the passed function (object) f with arguments taken from the passed tuples.

The passed arguments are determined from their types. Therefore, both the argument types of the function and the member types of all passed tuples must be unique.

Definition at line 250 of file Apply.h.

{
    static_assert(boost::mp11::mp_similar<std::tuple<>,
                                          std::remove_cv_t<Tuples>...>::value,
                  "In the argument ts... there must be only std::tuple's.");
 
    return detail::applyImpl(f, ts...);
}

References ProcessLib::Graph::detail::applyImpl().

eval()

template<typename Function , typename... Tuples>

auto ProcessLib::Graph::eval	(	Function &	f,
		Tuples &...	ts ) -> typename detail::GetFunctionReturnType<decltype(&Function::eval)>::type

Invokes the eval() method of the passed object f with arguments taken from the passed tuples.

See also

apply()

Definition at line 267 of file Apply.h.

{
    static_assert(boost::mp11::mp_similar<std::tuple<>,
                                          std::remove_cv_t<Tuples>...>::value,
                  "In the argument ts... there must be only std::tuple's.");
 
    return detail::applyImpl(&Function::eval, f, ts...);
}

References ProcessLib::Graph::detail::applyImpl().

get()

template<typename T , typename... Tuples>

auto & ProcessLib::Graph::get

(

Tuples &...

ts

)

Type-based access of an element of any of the passed tuples.

This function does essentially the same as std::get<T>(some_tuple), but for any number of passed tuples.

The type T must be present in the Tuples's member types exactly once. The passed Tuples's member types might be cvref qualified, but T must not.

Definition at line 67 of file Get.h.

{
    using namespace boost::mp11;
 
    static_assert(std::is_same_v<T, std::remove_cvref_t<T>>,
                  "The passed type T must not be cvref qualified.");
 
    using FlattenedTuple = typename detail::GetFlattenedTupleTypes<
        std::remove_cv_t<Tuples>...>::type;
    using FlattenedTupleOfPlainTypes =
        mp_transform<std::remove_cvref_t, FlattenedTuple>;
 
    static_assert(
        detail::mp_is_set_v<FlattenedTupleOfPlainTypes>,
        "The types of all elements of all passed tuples must be unique.");
 
    static_assert(detail::mp_contains_v<FlattenedTupleOfPlainTypes, T>,
                  "Type T must be inside any of the passed tuples.");
 
    return detail::getImpl<T>(ts...);
}