arbitrary container container element element_of guard index label one one optional range retry retry sample scale schedule size succeed variant

schedule() template<typename F > lib::dag< lib::tuple_element_t< 1, lib::invoke_result_t< F, lib::atom > > > halcheck::gen::schedule ( lib::atom id, F func ) Generates a random lib::dag. Template Parameters F The type of function used to generate labels. Parameters id A unique identifier for the generated value. func A function used to generate labels. Returns A random lib::dag whose labels are generated via func. This function participates in overload resolution only if the following conditions hold: lib::is_invocable<F, lib::atom>() holds. std::tuple_size<lib::invoke_result_t<F, lib::atom>>() == 2. lib::is_range<lib::tuple_element_t<0, lib::invoke_result_t<F, lib::atom>>>() holds. lib::is_hashable<lib::range_value_t<lib::tuple_element_t<0, lib::invoke_result_t<F, lib::atom>>>>() holds. lib::is_equality_comparable<lib::range_value_t<lib::tuple_element_t<0, lib::invoke_result_t<F, lib::atom>>>>() holds.