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

range const range_t halcheck::gen::range static Generates a random value in an closed-open interval. Signature template<typename T> T operator()(lib::atom id, T min, T max) // (1) template<typename U, typename V> lib::common_type_t<U, V> operator()(lib::atom id, U min, V max) // (2) An invocation of this function is well-formed only if of the following is true: std::is_integral<T>() holds. std::is_integral<lib::common_type_t<U, V>>() holds. std::is_floating_point<T>() holds. std::is_floating_point<lib::common_type_t<U, V>>() holds. lib::is_forward_iterator<T>() holds. lib::is_forward_iterator<lib::common_type_t<U, V>>() holds. Template Parameters T The type of value to generate. U The type of the minimum value to generate. V The type of the maximum value to generate. Parameters id A unique identifier for the generated value. min The minimum value to generate, inclusive. max The maximum value to generate, exclusive. Returns A value in the range [min, max).