Numerics

Numeric utilities. More...

Concepts
concept	ranges::differenceable_
	The differenceable_ concept.
concept	ranges::differenceable
	The differenceable concept.
concept	ranges::inner_product_constraints_
	The inner_product_constraints_ concept.
concept	ranges::inner_product_constraints
	The inner_product_constraints concept.
concept	ranges::indirect_semigroup_
	The indirect_semigroup_ concept.
concept	ranges::indirect_semigroup
	The indirect_semigroup concept.
concept	ranges::partial_sum_constraints_
	The partial_sum_constraints_ concept.
concept	ranges::partial_sum_constraints
	The partial_sum_constraints concept.
concept	ranges::uniform_random_bit_generator_
	The uniform_random_bit_generator_ concept.
concept	ranges::uniform_random_bit_generator
	The uniform_random_bit_generator concept.

Classes
struct	ranges::accumulate_fn
struct	ranges::adjacent_difference_fn
struct	ranges::inner_product_fn
struct	ranges::iota_fn
struct	ranges::partial_sum_fn

Typedefs
template<typename I, typename O>
using	ranges::adjacent_difference_result = detail::in_out_result<I, O>
template<typename I, typename O>
using	ranges::partial_sum_result = detail::in_out_result<I, O>

Functions
	ranges::template (typename I, typename O, typename BOp, typename P)(concept(differenceable_)(I
	ranges::template (typename I1, typename I2, typename T, typename BOp1, typename BOp2, typename P1, typename P2)(concept(inner_product_constraints_)(I1
	ranges::template (typename I, typename BOp)(concept(indirect_semigroup_)(I
template<typename Gen>
	ranges::CPP_requires (uniform_random_bit_generator_, requires()(Gen::min(), Gen::max()))
	ranges::template (typename Gen)(concept(uniform_random_bit_generator_)(Gen)

Variables
	ranges::BOp
	ranges::P
invocable< P &, iter_value_t< I > > AND copy_constructible< uncvref_t< invoke_result_t< P &, iter_value_t< I > > > > AND movable< uncvref_t< invoke_result_t< P &, iter_value_t< I > > > > AND output_iterator< O, invoke_result_t< P &, iter_value_t< I > > > AND invocable< BOp &, invoke_result_t< P &, iter_value_t< I > >, invoke_result_t< P &, iter_value_t< I > > > AND	ranges::output_iterator< O, invoke_result_t< BOp &, invoke_result_t< P &, iter_value_t< I > >, invoke_result_t< P &, iter_value_t< I > > > >
template<typename I, typename O, typename BOp = minus, typename P = identity>
CPP_concept	ranges::differenceable
	ranges::BOp1
	ranges::BOp2
invocable< P1 &, iter_value_t< I1 > > AND invocable< P2 &, iter_value_t< I2 > > AND invocable< BOp2 &, invoke_result_t< P1 &, iter_value_t< I1 > >, invoke_result_t< P2 &, iter_value_t< I2 > > > AND invocable< BOp1 &, T, invoke_result_t< BOp2 &, invoke_result_t< P1 &, iter_value_t< I1 > >, invoke_result_t< P2 &, iter_value_t< I2 > > > > AND	ranges::assignable_from< T &, invoke_result_t< BOp1 &, T, invoke_result_t< BOp2 &, invoke_result_t< P1 &, iter_value_t< I1 > >, invoke_result_t< P2 &, iter_value_t< I2 > > > > >
template<typename I1, typename I2, typename T, typename BOp1 = plus, typename BOp2 = multiplies, typename P1 = identity, typename P2 = identity>
CPP_concept	ranges::inner_product_constraints
copyable< iter_value_t< I > > AND	ranges::indirectly_regular_binary_invocable_< composed< coerce< iter_value_t< I > >, BOp >, iter_value_t< I > *, I >
template<typename I, typename BOp>
CPP_concept	ranges::indirect_semigroup
indirect_semigroup< projected< projected< I, detail::as_value_type_t< I > >, P >, BOp > AND	ranges::output_iterator< O, iter_value_t< projected< projected< I, detail::as_value_type_t< I > >, P > > const & >
template<typename I, typename O, typename BOp = plus, typename P = identity>
CPP_concept	ranges::partial_sum_constraints
unsigned_integral< invoke_result_t< Gen & > > AND same_as< invoke_result_t< Gen & >, decltype(Gen::min())> AND	ranges::same_as< invoke_result_t< Gen & >, decltype(Gen::max())>
template<typename Gen>
CPP_concept	ranges::uniform_random_bit_generator

Detailed Description

Numeric utilities.

Variable Documentation

differenceable

template<typename I, typename O, typename BOp = minus, typename P = identity>

CPP_concept ranges::differenceable

Initial value:

=
        input_iterator<I> &&
        CPP_concept_ref(ranges::differenceable_, I, O, BOp, P)

indirect_semigroup

template<typename I, typename BOp>

CPP_concept ranges::indirect_semigroup

Initial value:

=
        indirectly_readable<I> &&
        CPP_concept_ref(ranges::indirect_semigroup_, I, BOp)

inner_product_constraints

template<typename I1, typename I2, typename T, typename BOp1 = plus, typename BOp2 = multiplies, typename P1 = identity, typename P2 = identity>

CPP_concept ranges::inner_product_constraints

Initial value:

=
        input_iterator<I1> &&
        input_iterator<I2> &&
        CPP_concept_ref(ranges::inner_product_constraints_, I1, I2, T, BOp1, BOp2, P1, P2)

partial_sum_constraints

template<typename I, typename O, typename BOp = plus, typename P = identity>

CPP_concept ranges::partial_sum_constraints

Initial value:

=
        input_iterator<I> &&
        CPP_concept_ref(ranges::partial_sum_constraints_, I, O, BOp, P)

uniform_random_bit_generator

template<typename Gen>

CPP_concept ranges::uniform_random_bit_generator

Initial value:

=
        invocable<Gen &> &&
        CPP_requires_ref(ranges::uniform_random_bit_generator_, Gen) &&
        CPP_concept_ref(ranges::uniform_random_bit_generator_, Gen)