use crate::Float;
use crate::test_util::generators::common::{
float_float_anything_rounding_mode_quadruple_rm, float_float_anything_triple_rm,
float_float_rounding_mode_triple_rm, float_integer_pair_rm, float_natural_pair_rm,
float_pair_rm, float_primitive_float_pair_rm, float_primitive_int_pair_rm,
float_rational_anything_rounding_mode_quadruple_rm, float_rational_anything_triple_rm,
float_rational_pair_rm, float_rational_rounding_mode_triple_rm, float_rm,
float_rounding_mode_pair_rm, float_t_rounding_mode_triple_rm,
float_t_u_rounding_mode_quadruple_rm, float_t_u_triple_rm,
};
use crate::test_util::generators::exhaustive::*;
use crate::test_util::generators::random::*;
use crate::test_util::generators::special_random::*;
use malachite_base::num::basic::floats::PrimitiveFloat;
use malachite_base::num::basic::signeds::PrimitiveSigned;
use malachite_base::num::basic::unsigneds::PrimitiveUnsigned;
use malachite_base::num::conversion::traits::ConvertibleFrom;
use malachite_base::rounding_modes::RoundingMode;
use malachite_base::test_util::generators::common::Generator;
use malachite_nz::integer::Integer;
use malachite_nz::natural::Natural;
use malachite_q::Rational;
use std::cmp::Ordering;
pub fn float_gen() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen,
&random_float_gen,
&special_random_float_gen,
)
}
pub fn float_gen_rm() -> Generator<(rug::Float, Float)> {
Generator::new(
&|| float_rm(exhaustive_float_gen()),
&|config| float_rm(random_float_gen(config)),
&|config| float_rm(special_random_float_gen(config)),
)
}
pub fn float_gen_var_1() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_1,
&random_float_gen_var_1,
&special_random_float_gen_var_1,
)
}
pub fn float_gen_var_2() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_2,
&random_float_gen_var_2,
&special_random_float_gen_var_2,
)
}
pub fn float_gen_var_2_rm() -> Generator<(rug::Float, Float)> {
Generator::new(
&|| float_rm(exhaustive_float_gen_var_2()),
&|config| float_rm(random_float_gen_var_2(config)),
&|config| float_rm(special_random_float_gen_var_2(config)),
)
}
pub fn float_gen_var_3() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_3,
&random_float_gen_var_3,
&special_random_float_gen_var_3,
)
}
pub fn float_gen_var_4() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_4,
&random_float_gen_var_4,
&special_random_float_gen_var_4,
)
}
pub fn float_gen_var_5() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_5,
&random_float_gen_var_5,
&special_random_float_gen_var_5,
)
}
pub fn float_gen_var_6() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_6,
&random_float_gen_var_6,
&special_random_float_gen_var_6,
)
}
pub fn float_gen_var_7() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_7,
&random_float_gen_var_7,
&special_random_float_gen_var_7,
)
}
pub fn float_gen_var_8() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_8,
&random_float_gen_var_8,
&special_random_float_gen_var_8,
)
}
pub fn float_gen_var_9() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_9,
&random_float_gen_var_9,
&special_random_float_gen_var_9,
)
}
pub fn float_gen_var_10() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_10,
&random_float_gen_var_10,
&special_random_float_gen_var_10,
)
}
pub fn float_gen_var_11() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_11,
&random_float_gen_var_11,
&special_random_float_gen_var_11,
)
}
pub fn float_gen_var_12() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_12,
&random_float_gen_var_12,
&special_random_float_gen_var_12,
)
}
pub fn float_gen_var_13() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_13,
&random_float_gen_var_13,
&special_random_float_gen_var_13,
)
}
pub fn float_gen_var_14() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_14,
&random_float_gen_var_14,
&special_random_float_gen_var_14,
)
}
pub fn float_gen_var_15() -> Generator<Float> {
Generator::new(
&exhaustive_float_gen_var_15,
&random_float_gen_var_15,
&special_random_float_gen_var_15,
)
}
pub fn float_pair_gen() -> Generator<(Float, Float)> {
Generator::new(
&exhaustive_float_pair_gen,
&random_float_pair_gen,
&special_random_float_pair_gen,
)
}
pub fn float_pair_gen_rm() -> Generator<((rug::Float, rug::Float), (Float, Float))> {
Generator::new(
&|| float_pair_rm(exhaustive_float_pair_gen()),
&|config| float_pair_rm(random_float_pair_gen(config)),
&|config| float_pair_rm(special_random_float_pair_gen(config)),
)
}
pub fn float_pair_gen_var_1() -> Generator<(Float, Float)> {
Generator::new(
&exhaustive_float_pair_gen_var_1,
&random_float_pair_gen_var_1,
&special_random_float_pair_gen_var_1,
)
}
pub fn float_pair_gen_var_2() -> Generator<(Float, Float)> {
Generator::new(
&exhaustive_float_pair_gen_var_2,
&random_float_pair_gen_var_2,
&special_random_float_pair_gen_var_2,
)
}
pub fn float_pair_gen_var_3() -> Generator<(Float, Float)> {
Generator::new(
&exhaustive_float_pair_gen_var_3,
&random_float_pair_gen_var_3,
&special_random_float_pair_gen_var_3,
)
}
pub fn float_pair_gen_var_4() -> Generator<(Float, Float)> {
Generator::new(
&exhaustive_float_pair_gen_var_4,
&random_float_pair_gen_var_4,
&special_random_float_pair_gen_var_4,
)
}
pub fn float_pair_gen_var_5() -> Generator<(Float, Float)> {
Generator::new(
&exhaustive_float_pair_gen_var_5,
&random_float_pair_gen_var_5,
&special_random_float_pair_gen_var_5,
)
}
pub fn float_pair_gen_var_6() -> Generator<(Float, Float)> {
Generator::new(
&exhaustive_float_pair_gen_var_6,
&random_float_pair_gen_var_6,
&special_random_float_pair_gen_var_6,
)
}
pub fn float_pair_gen_var_7() -> Generator<(Float, Float)> {
Generator::new(
&exhaustive_float_pair_gen_var_7,
&random_float_pair_gen_var_7,
&special_random_float_pair_gen_var_7,
)
}
pub fn float_pair_gen_var_8() -> Generator<(Float, Float)> {
Generator::new(
&exhaustive_float_pair_gen_var_8,
&random_float_pair_gen_var_8,
&special_random_float_pair_gen_var_8,
)
}
pub fn float_pair_gen_var_9() -> Generator<(Float, Float)> {
Generator::new(
&exhaustive_float_pair_gen_var_9,
&random_float_pair_gen_var_9,
&special_random_float_pair_gen_var_9,
)
}
pub fn float_pair_gen_var_10() -> Generator<(Float, Float)> {
Generator::new(
&exhaustive_float_pair_gen_var_10,
&random_float_pair_gen_var_10,
&special_random_float_pair_gen,
)
}
pub fn float_triple_gen() -> Generator<(Float, Float, Float)> {
Generator::new(
&exhaustive_float_triple_gen,
&random_float_triple_gen,
&special_random_float_triple_gen,
)
}
pub fn float_float_integer_triple_gen() -> Generator<(Float, Float, Integer)> {
Generator::new(
&exhaustive_float_float_integer_triple_gen,
&random_float_float_integer_triple_gen,
&special_random_float_float_integer_triple_gen,
)
}
pub fn float_float_natural_triple_gen() -> Generator<(Float, Float, Natural)> {
Generator::new(
&exhaustive_float_float_natural_triple_gen,
&random_float_float_natural_triple_gen,
&special_random_float_float_natural_triple_gen,
)
}
pub fn float_float_primitive_float_triple_gen<T: PrimitiveFloat>() -> Generator<(Float, Float, T)> {
Generator::new(
&exhaustive_float_float_primitive_float_triple_gen,
&random_float_float_primitive_float_triple_gen,
&special_random_float_float_primitive_float_triple_gen,
)
}
pub fn float_float_signed_triple_gen<T: PrimitiveSigned>() -> Generator<(Float, Float, T)> {
Generator::new(
&exhaustive_float_float_signed_triple_gen,
&random_float_float_primitive_int_triple_gen,
&special_random_float_float_signed_triple_gen,
)
}
pub fn float_float_unsigned_triple_gen<T: PrimitiveUnsigned>() -> Generator<(Float, Float, T)> {
Generator::new(
&exhaustive_float_float_unsigned_triple_gen,
&random_float_float_primitive_int_triple_gen,
&special_random_float_float_unsigned_triple_gen,
)
}
pub fn float_float_unsigned_triple_gen_var_1<T: PrimitiveUnsigned>() -> Generator<(Float, Float, T)>
{
Generator::new(
&exhaustive_float_float_unsigned_triple_gen_var_1,
&random_float_float_unsigned_triple_gen_var_1,
&special_random_float_float_unsigned_triple_gen_var_1,
)
}
pub fn float_float_unsigned_triple_gen_var_1_rm<T: PrimitiveUnsigned>()
-> Generator<((rug::Float, rug::Float, T), (Float, Float, T))> {
Generator::new(
&|| float_float_anything_triple_rm(exhaustive_float_float_unsigned_triple_gen_var_1()),
&|config| {
float_float_anything_triple_rm(random_float_float_unsigned_triple_gen_var_1(config))
},
&|config| {
float_float_anything_triple_rm(special_random_float_float_unsigned_triple_gen_var_1(
config,
))
},
)
}
pub fn float_float_unsigned_triple_gen_var_2<T: PrimitiveUnsigned>() -> Generator<(Float, Float, T)>
{
Generator::new(
&exhaustive_float_float_unsigned_triple_gen_var_2,
&random_float_float_unsigned_triple_gen_var_2,
&special_random_float_float_unsigned_triple_gen_var_2,
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_1()
-> Generator<(Float, Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_1,
&random_float_float_unsigned_rounding_mode_quadruple_gen_var_1,
&special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_1,
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_1_rm() -> Generator<(
(rug::Float, rug::Float, u64, rug::float::Round),
(Float, Float, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_float_anything_rounding_mode_quadruple_rm(
exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_1(),
)
},
&|config| {
float_float_anything_rounding_mode_quadruple_rm(
random_float_float_unsigned_rounding_mode_quadruple_gen_var_1(config),
)
},
&|config| {
float_float_anything_rounding_mode_quadruple_rm(
special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_1(config),
)
},
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_2()
-> Generator<(Float, Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_2,
&random_float_float_unsigned_rounding_mode_quadruple_gen_var_2,
&special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_2,
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_2_rm() -> Generator<(
(rug::Float, rug::Float, u64, rug::float::Round),
(Float, Float, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_float_anything_rounding_mode_quadruple_rm(
exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_2(),
)
},
&|config| {
float_float_anything_rounding_mode_quadruple_rm(
random_float_float_unsigned_rounding_mode_quadruple_gen_var_2(config),
)
},
&|config| {
float_float_anything_rounding_mode_quadruple_rm(
special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_2(config),
)
},
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_3()
-> Generator<(Float, Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_3,
&random_float_float_unsigned_rounding_mode_quadruple_gen_var_3,
&special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_3,
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_3_rm() -> Generator<(
(rug::Float, rug::Float, u64, rug::float::Round),
(Float, Float, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_float_anything_rounding_mode_quadruple_rm(
exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_3(),
)
},
&|config| {
float_float_anything_rounding_mode_quadruple_rm(
random_float_float_unsigned_rounding_mode_quadruple_gen_var_3(config),
)
},
&|config| {
float_float_anything_rounding_mode_quadruple_rm(
special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_3(config),
)
},
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_4()
-> Generator<(Float, Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_4,
&random_float_float_unsigned_rounding_mode_quadruple_gen_var_4,
&special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_4,
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_4_rm() -> Generator<(
(rug::Float, rug::Float, u64, rug::float::Round),
(Float, Float, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_float_anything_rounding_mode_quadruple_rm(
exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_4(),
)
},
&|config| {
float_float_anything_rounding_mode_quadruple_rm(
random_float_float_unsigned_rounding_mode_quadruple_gen_var_4(config),
)
},
&|config| {
float_float_anything_rounding_mode_quadruple_rm(
special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_4(config),
)
},
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_5()
-> Generator<(Float, Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_5,
&random_float_float_unsigned_rounding_mode_quadruple_gen_var_5,
&special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_5,
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_6()
-> Generator<(Float, Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_6,
&random_float_float_unsigned_rounding_mode_quadruple_gen_var_6,
&special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_6,
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_7()
-> Generator<(Float, Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_7,
&random_float_float_unsigned_rounding_mode_quadruple_gen_var_7,
&special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_7,
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_8()
-> Generator<(Float, Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_8,
&random_float_float_unsigned_rounding_mode_quadruple_gen_var_8,
&special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_8,
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_9()
-> Generator<(Float, Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_9,
&random_float_float_unsigned_rounding_mode_quadruple_gen_var_9,
&special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_9,
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_9_rm() -> Generator<(
(rug::Float, rug::Float, u64, rug::float::Round),
(Float, Float, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_float_anything_rounding_mode_quadruple_rm(
exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_9(),
)
},
&|config| {
float_float_anything_rounding_mode_quadruple_rm(
random_float_float_unsigned_rounding_mode_quadruple_gen_var_9(config),
)
},
&|config| {
float_float_anything_rounding_mode_quadruple_rm(
special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_9(config),
)
},
)
}
pub fn float_float_unsigned_rounding_mode_quadruple_gen_var_10()
-> Generator<(Float, Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_float_unsigned_rounding_mode_quadruple_gen_var_10,
&random_float_float_unsigned_rounding_mode_quadruple_gen_var_10,
&special_random_float_float_unsigned_rounding_mode_quadruple_gen_var_10,
)
}
pub fn float_float_rational_triple_gen() -> Generator<(Float, Float, Rational)> {
Generator::new(
&exhaustive_float_float_rational_triple_gen,
&random_float_float_rational_triple_gen,
&special_random_float_float_rational_triple_gen,
)
}
pub fn float_float_rounding_mode_triple_gen_var_1() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_1,
&random_float_float_rounding_mode_triple_gen_var_1,
&special_random_float_float_rounding_mode_triple_gen_var_1,
)
}
pub fn float_float_rounding_mode_triple_gen_var_1_rm() -> Generator<(
(rug::Float, rug::Float, rug::float::Round),
(Float, Float, RoundingMode),
)> {
Generator::new(
&|| {
float_float_rounding_mode_triple_rm(
exhaustive_float_float_rounding_mode_triple_gen_var_3(),
)
},
&|config| {
float_float_rounding_mode_triple_rm(random_float_float_rounding_mode_triple_gen_var_3(
config,
))
},
&|config| {
float_float_rounding_mode_triple_rm(
special_random_float_float_rounding_mode_triple_gen_var_3(config),
)
},
)
}
pub fn float_float_rounding_mode_triple_gen_var_2() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_2,
&random_float_float_rounding_mode_triple_gen_var_2,
&special_random_float_float_rounding_mode_triple_gen_var_2,
)
}
pub fn float_float_rounding_mode_triple_gen_var_3_rm() -> Generator<(
(rug::Float, rug::Float, rug::float::Round),
(Float, Float, RoundingMode),
)> {
Generator::new(
&|| {
float_float_rounding_mode_triple_rm(
exhaustive_float_float_rounding_mode_triple_gen_var_3(),
)
},
&|config| {
float_float_rounding_mode_triple_rm(random_float_float_rounding_mode_triple_gen_var_3(
config,
))
},
&|config| {
float_float_rounding_mode_triple_rm(
special_random_float_float_rounding_mode_triple_gen_var_3(config),
)
},
)
}
pub fn float_float_rounding_mode_triple_gen_var_4() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_4,
&random_float_float_rounding_mode_triple_gen_var_4,
&special_random_float_float_rounding_mode_triple_gen_var_4,
)
}
pub fn float_float_rounding_mode_triple_gen_var_5() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_5,
&random_float_float_rounding_mode_triple_gen_var_5,
&special_random_float_float_rounding_mode_triple_gen_var_5,
)
}
pub fn float_float_rounding_mode_triple_gen_var_6() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_6,
&random_float_float_rounding_mode_triple_gen_var_6,
&special_random_float_float_rounding_mode_triple_gen_var_6,
)
}
pub fn float_float_rounding_mode_triple_gen_var_7() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_7,
&random_float_float_rounding_mode_triple_gen_var_7,
&special_random_float_float_rounding_mode_triple_gen_var_7,
)
}
pub fn float_float_rounding_mode_triple_gen_var_8() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_8,
&random_float_float_rounding_mode_triple_gen_var_8,
&special_random_float_float_rounding_mode_triple_gen_var_8,
)
}
pub fn float_float_rounding_mode_triple_gen_var_9() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_9,
&random_float_float_rounding_mode_triple_gen_var_9,
&special_random_float_float_rounding_mode_triple_gen_var_9,
)
}
pub fn float_float_rounding_mode_triple_gen_var_10() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_10,
&random_float_float_rounding_mode_triple_gen_var_10,
&special_random_float_float_rounding_mode_triple_gen_var_10,
)
}
pub fn float_float_rounding_mode_triple_gen_var_11() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_11,
&random_float_float_rounding_mode_triple_gen_var_11,
&special_random_float_float_rounding_mode_triple_gen_var_11,
)
}
pub fn float_float_rounding_mode_triple_gen_var_12() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_12,
&random_float_float_rounding_mode_triple_gen_var_12,
&special_random_float_float_rounding_mode_triple_gen_var_12,
)
}
pub fn float_float_rounding_mode_triple_gen_var_13() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_13,
&random_float_float_rounding_mode_triple_gen_var_13,
&special_random_float_float_rounding_mode_triple_gen_var_13,
)
}
pub fn float_float_rounding_mode_triple_gen_var_14() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_14,
&random_float_float_rounding_mode_triple_gen_var_14,
&special_random_float_float_rounding_mode_triple_gen_var_14,
)
}
pub fn float_float_rounding_mode_triple_gen_var_15() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_15,
&random_float_float_rounding_mode_triple_gen_var_15,
&special_random_float_float_rounding_mode_triple_gen_var_15,
)
}
pub fn float_float_rounding_mode_triple_gen_var_16() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_16,
&random_float_float_rounding_mode_triple_gen_var_16,
&special_random_float_float_rounding_mode_triple_gen_var_16,
)
}
pub fn float_float_rounding_mode_triple_gen_var_16_rm() -> Generator<(
(rug::Float, rug::Float, rug::float::Round),
(Float, Float, RoundingMode),
)> {
Generator::new(
&|| {
float_float_rounding_mode_triple_rm(
exhaustive_float_float_rounding_mode_triple_gen_var_16(),
)
},
&|config| {
float_float_rounding_mode_triple_rm(random_float_float_rounding_mode_triple_gen_var_16(
config,
))
},
&|config| {
float_float_rounding_mode_triple_rm(
special_random_float_float_rounding_mode_triple_gen_var_16(config),
)
},
)
}
pub fn float_float_rounding_mode_triple_gen_var_17() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_17,
&random_float_float_rounding_mode_triple_gen_var_17,
&special_random_float_float_rounding_mode_triple_gen_var_17,
)
}
pub fn float_float_rounding_mode_triple_gen_var_18() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_18,
&random_float_float_rounding_mode_triple_gen_var_18,
&special_random_float_float_rounding_mode_triple_gen_var_18,
)
}
pub fn float_float_rounding_mode_triple_gen_var_19() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_19,
&random_float_float_rounding_mode_triple_gen_var_19,
&special_random_float_float_rounding_mode_triple_gen_var_19,
)
}
pub fn float_float_rounding_mode_triple_gen_var_20() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_20,
&random_float_float_rounding_mode_triple_gen_var_20,
&special_random_float_float_rounding_mode_triple_gen_var_20,
)
}
pub fn float_float_rounding_mode_triple_gen_var_21() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_21,
&random_float_float_rounding_mode_triple_gen_var_21,
&special_random_float_float_rounding_mode_triple_gen_var_21,
)
}
pub fn float_float_rounding_mode_triple_gen_var_22() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_22,
&random_float_float_rounding_mode_triple_gen_var_22,
&special_random_float_float_rounding_mode_triple_gen_var_22,
)
}
pub fn float_float_rounding_mode_triple_gen_var_23() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_23,
&random_float_float_rounding_mode_triple_gen_var_23,
&special_random_float_float_rounding_mode_triple_gen_var_23,
)
}
pub fn float_float_rounding_mode_triple_gen_var_23_rm() -> Generator<(
(rug::Float, rug::Float, rug::float::Round),
(Float, Float, RoundingMode),
)> {
Generator::new(
&|| {
float_float_rounding_mode_triple_rm(
exhaustive_float_float_rounding_mode_triple_gen_var_23(),
)
},
&|config| {
float_float_rounding_mode_triple_rm(random_float_float_rounding_mode_triple_gen_var_23(
config,
))
},
&|config| {
float_float_rounding_mode_triple_rm(
special_random_float_float_rounding_mode_triple_gen_var_23(config),
)
},
)
}
pub fn float_float_rounding_mode_triple_gen_var_24() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_24,
&random_float_float_rounding_mode_triple_gen_var_24,
&special_random_float_float_rounding_mode_triple_gen_var_24,
)
}
pub fn float_float_rounding_mode_triple_gen_var_25() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_25,
&random_float_float_rounding_mode_triple_gen_var_25,
&special_random_float_float_rounding_mode_triple_gen_var_25,
)
}
pub fn float_float_rounding_mode_triple_gen_var_26() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_26,
&random_float_float_rounding_mode_triple_gen_var_26,
&special_random_float_float_rounding_mode_triple_gen_var_26,
)
}
pub fn float_float_rounding_mode_triple_gen_var_27() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_27,
&random_float_float_rounding_mode_triple_gen_var_27,
&special_random_float_float_rounding_mode_triple_gen_var_27,
)
}
pub fn float_float_rounding_mode_triple_gen_var_28() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_28,
&random_float_float_rounding_mode_triple_gen_var_28,
&special_random_float_float_rounding_mode_triple_gen_var_28,
)
}
pub fn float_float_rounding_mode_triple_gen_var_29() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_29,
&random_float_float_rounding_mode_triple_gen_var_29,
&special_random_float_float_rounding_mode_triple_gen_var_29,
)
}
pub fn float_float_rounding_mode_triple_gen_var_30() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_30,
&random_float_float_rounding_mode_triple_gen_var_30,
&special_random_float_float_rounding_mode_triple_gen_var_30,
)
}
pub fn float_float_rounding_mode_triple_gen_var_31() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_31,
&random_float_float_rounding_mode_triple_gen_var_31,
&special_random_float_float_rounding_mode_triple_gen_var_31,
)
}
pub fn float_float_rounding_mode_triple_gen_var_32() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_32,
&random_float_float_rounding_mode_triple_gen_var_32,
&special_random_float_float_rounding_mode_triple_gen_var_32,
)
}
pub fn float_float_rounding_mode_triple_gen_var_33() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_33,
&random_float_float_rounding_mode_triple_gen_var_33,
&special_random_float_float_rounding_mode_triple_gen_var_33,
)
}
pub fn float_float_rounding_mode_triple_gen_var_33_rm() -> Generator<(
(rug::Float, rug::Float, rug::float::Round),
(Float, Float, RoundingMode),
)> {
Generator::new(
&|| {
float_float_rounding_mode_triple_rm(
exhaustive_float_float_rounding_mode_triple_gen_var_33(),
)
},
&|config| {
float_float_rounding_mode_triple_rm(random_float_float_rounding_mode_triple_gen_var_33(
config,
))
},
&|config| {
float_float_rounding_mode_triple_rm(
special_random_float_float_rounding_mode_triple_gen_var_33(config),
)
},
)
}
pub fn float_float_rounding_mode_triple_gen_var_34() -> Generator<(Float, Float, RoundingMode)> {
Generator::new(
&exhaustive_float_float_rounding_mode_triple_gen_var_34,
&random_float_float_rounding_mode_triple_gen_var_34,
&special_random_float_float_rounding_mode_triple_gen_var_34,
)
}
pub fn float_integer_pair_gen() -> Generator<(Float, Integer)> {
Generator::new(
&exhaustive_float_integer_pair_gen,
&random_float_integer_pair_gen,
&special_random_float_integer_pair_gen,
)
}
pub fn float_integer_pair_gen_rm() -> Generator<((rug::Float, rug::Integer), (Float, Integer))> {
Generator::new(
&|| float_integer_pair_rm(exhaustive_float_integer_pair_gen()),
&|config| float_integer_pair_rm(random_float_integer_pair_gen(config)),
&|config| float_integer_pair_rm(special_random_float_integer_pair_gen(config)),
)
}
pub fn float_integer_pair_gen_var_1() -> Generator<(Float, Integer)> {
Generator::new(
&exhaustive_float_integer_pair_gen_var_1,
&random_float_integer_pair_gen_var_1,
&special_random_float_integer_pair_gen_var_1,
)
}
pub fn float_integer_pair_gen_var_2() -> Generator<(Float, Integer)> {
Generator::new(
&exhaustive_float_integer_pair_gen_var_2,
&random_float_integer_pair_gen_var_2,
&special_random_float_integer_pair_gen_var_2,
)
}
pub fn float_integer_integer_triple_gen() -> Generator<(Float, Integer, Integer)> {
Generator::new(
&exhaustive_float_integer_integer_triple_gen,
&random_float_integer_integer_triple_gen,
&special_random_float_integer_integer_triple_gen,
)
}
pub fn float_natural_pair_gen() -> Generator<(Float, Natural)> {
Generator::new(
&exhaustive_float_natural_pair_gen,
&random_float_natural_pair_gen,
&special_random_float_natural_pair_gen,
)
}
pub fn float_natural_pair_gen_rm() -> Generator<((rug::Float, rug::Integer), (Float, Natural))> {
Generator::new(
&|| float_natural_pair_rm(exhaustive_float_natural_pair_gen()),
&|config| float_natural_pair_rm(random_float_natural_pair_gen(config)),
&|config| float_natural_pair_rm(special_random_float_natural_pair_gen(config)),
)
}
pub fn float_natural_pair_gen_var_1() -> Generator<(Float, Natural)> {
Generator::new(
&exhaustive_float_natural_pair_gen_var_1,
&random_float_natural_pair_gen_var_1,
&special_random_float_natural_pair_gen_var_1,
)
}
pub fn float_natural_pair_gen_var_2() -> Generator<(Float, Natural)> {
Generator::new(
&exhaustive_float_natural_pair_gen_var_2,
&random_float_natural_pair_gen_var_2,
&special_random_float_natural_pair_gen_var_2,
)
}
pub fn float_natural_natural_triple_gen() -> Generator<(Float, Natural, Natural)> {
Generator::new(
&exhaustive_float_natural_natural_triple_gen,
&random_float_natural_natural_triple_gen,
&special_random_float_natural_natural_triple_gen,
)
}
pub fn float_ordering_pair_gen() -> Generator<(Float, Ordering)> {
Generator::new(
&exhaustive_float_ordering_pair_gen,
&random_float_ordering_pair_gen,
&special_random_float_ordering_pair_gen,
)
}
pub fn float_ordering_pair_gen_var_1() -> Generator<(Float, Ordering)> {
Generator::new(
&exhaustive_float_ordering_pair_gen_var_1,
&random_float_ordering_pair_gen_var_1,
&special_random_float_ordering_pair_gen_var_1,
)
}
pub fn float_primitive_float_pair_gen<T: PrimitiveFloat>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_primitive_float_pair_gen,
&random_float_primitive_float_pair_gen,
&special_random_float_primitive_float_pair_gen,
)
}
pub fn float_primitive_float_pair_gen_rm<T: PrimitiveFloat>()
-> Generator<((rug::Float, T), (Float, T))> {
Generator::new(
&|| float_primitive_float_pair_rm(exhaustive_float_primitive_float_pair_gen()),
&|config| float_primitive_float_pair_rm(random_float_primitive_float_pair_gen(config)),
&|config| {
float_primitive_float_pair_rm(special_random_float_primitive_float_pair_gen(config))
},
)
}
pub fn float_primitive_float_pair_gen_var_1<T: PrimitiveFloat>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_primitive_float_pair_gen_var_1,
&random_float_primitive_float_pair_gen_var_1,
&special_random_float_primitive_float_pair_gen_var_1,
)
}
pub fn float_primitive_float_primitive_float_triple_gen<T: PrimitiveFloat>()
-> Generator<(Float, T, T)> {
Generator::new(
&exhaustive_float_primitive_float_primitive_float_triple_gen,
&random_float_primitive_float_primitive_float_triple_gen,
&special_random_float_primitive_float_primitive_float_triple_gen,
)
}
pub fn float_signed_pair_gen<T: PrimitiveSigned>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_signed_pair_gen,
&random_float_signed_pair_gen,
&special_random_float_signed_pair_gen,
)
}
pub fn float_signed_pair_gen_rm<T: PrimitiveSigned>() -> Generator<((rug::Float, T), (Float, T))> {
Generator::new(
&|| float_primitive_int_pair_rm(exhaustive_float_signed_pair_gen()),
&|config| float_primitive_int_pair_rm(random_float_signed_pair_gen(config)),
&|config| float_primitive_int_pair_rm(special_random_float_signed_pair_gen(config)),
)
}
pub fn float_signed_pair_gen_var_1<T: PrimitiveSigned>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_signed_pair_gen_var_1,
&random_float_signed_pair_gen_var_1,
&special_random_float_signed_pair_gen_var_1,
)
}
pub fn float_signed_pair_gen_var_2<T: PrimitiveSigned>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_signed_pair_gen_var_2,
&random_float_signed_pair_gen_var_2,
&special_random_float_signed_pair_gen_var_2,
)
}
pub fn float_signed_pair_gen_var_2_rm<T: PrimitiveSigned>()
-> Generator<((rug::Float, T), (Float, T))> {
Generator::new(
&|| float_primitive_int_pair_rm(exhaustive_float_signed_pair_gen_var_2()),
&|config| float_primitive_int_pair_rm(random_float_signed_pair_gen_var_2(config)),
&|config| float_primitive_int_pair_rm(special_random_float_signed_pair_gen_var_2(config)),
)
}
pub fn float_signed_pair_gen_var_3<T: PrimitiveSigned>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_signed_pair_gen_var_3,
&random_float_signed_pair_gen_var_3,
&special_random_float_signed_pair_gen_var_3,
)
}
pub fn float_signed_pair_gen_var_4<T: PrimitiveSigned>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_signed_pair_gen_var_4,
&random_float_signed_pair_gen_var_4,
&special_random_float_signed_pair_gen_var_4,
)
}
pub fn float_signed_signed_triple_gen<T: PrimitiveSigned>() -> Generator<(Float, T, T)> {
Generator::new(
&exhaustive_float_signed_signed_triple_gen,
&random_float_primitive_int_primitive_int_triple_gen,
&special_random_float_signed_signed_triple_gen,
)
}
pub fn float_signed_unsigned_triple_gen_var_1<T: PrimitiveSigned, U: PrimitiveUnsigned>()
-> Generator<(Float, T, U)> {
Generator::new(
&exhaustive_float_signed_unsigned_triple_gen_var_1,
&random_float_signed_unsigned_triple_gen_var_1,
&special_random_float_signed_unsigned_triple_gen_var_1,
)
}
pub fn float_signed_unsigned_triple_gen_var_1_rm<T: PrimitiveSigned, U: PrimitiveUnsigned>()
-> Generator<((rug::Float, T, U), (Float, T, U))> {
Generator::new(
&|| float_t_u_triple_rm(exhaustive_float_signed_unsigned_triple_gen_var_1()),
&|config| float_t_u_triple_rm(random_float_signed_unsigned_triple_gen_var_1(config)),
&|config| {
float_t_u_triple_rm(special_random_float_signed_unsigned_triple_gen_var_1(
config,
))
},
)
}
pub fn float_signed_unsigned_triple_gen_var_2<T: PrimitiveSigned, U: PrimitiveUnsigned>()
-> Generator<(Float, T, U)> {
Generator::new(
&exhaustive_float_signed_unsigned_triple_gen_var_2,
&random_float_signed_unsigned_triple_gen_var_2,
&special_random_float_signed_unsigned_triple_gen_var_2,
)
}
pub fn float_signed_unsigned_rounding_mode_quadruple_gen_var_1<T: PrimitiveSigned>()
-> Generator<(Float, T, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_signed_unsigned_rounding_mode_quadruple_gen_var_1,
&random_float_signed_unsigned_rounding_mode_quadruple_gen_var_1,
&special_random_float_signed_unsigned_rounding_mode_quadruple_gen_var_1,
)
}
pub fn float_signed_unsigned_rounding_mode_quadruple_gen_var_1_rm<T: PrimitiveSigned>()
-> Generator<(
(rug::Float, T, u64, rug::float::Round),
(Float, T, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_t_u_rounding_mode_quadruple_rm(
exhaustive_float_signed_unsigned_rounding_mode_quadruple_gen_var_1(),
)
},
&|config| {
float_t_u_rounding_mode_quadruple_rm(
random_float_signed_unsigned_rounding_mode_quadruple_gen_var_1(config),
)
},
&|config| {
float_t_u_rounding_mode_quadruple_rm(
special_random_float_signed_unsigned_rounding_mode_quadruple_gen_var_1(config),
)
},
)
}
pub fn float_signed_unsigned_rounding_mode_quadruple_gen_var_2<T: PrimitiveSigned>()
-> Generator<(Float, T, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_signed_unsigned_rounding_mode_quadruple_gen_var_2,
&random_float_signed_unsigned_rounding_mode_quadruple_gen_var_2,
&special_random_float_signed_unsigned_rounding_mode_quadruple_gen_var_2,
)
}
pub fn float_signed_unsigned_rounding_mode_quadruple_gen_var_3<T: PrimitiveSigned>()
-> Generator<(Float, T, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_signed_unsigned_rounding_mode_quadruple_gen_var_3,
&random_float_signed_unsigned_rounding_mode_quadruple_gen_var_3,
&special_random_float_signed_unsigned_rounding_mode_quadruple_gen_var_3,
)
}
pub fn float_signed_unsigned_rounding_mode_quadruple_gen_var_3_rm<T: PrimitiveSigned>()
-> Generator<(
(rug::Float, T, u64, rug::float::Round),
(Float, T, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_t_u_rounding_mode_quadruple_rm(
exhaustive_float_signed_unsigned_rounding_mode_quadruple_gen_var_3(),
)
},
&|config| {
float_t_u_rounding_mode_quadruple_rm(
random_float_signed_unsigned_rounding_mode_quadruple_gen_var_3(config),
)
},
&|config| {
float_t_u_rounding_mode_quadruple_rm(
special_random_float_signed_unsigned_rounding_mode_quadruple_gen_var_3(config),
)
},
)
}
pub fn float_signed_unsigned_rounding_mode_quadruple_gen_var_4<T: PrimitiveSigned>()
-> Generator<(Float, T, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_signed_unsigned_rounding_mode_quadruple_gen_var_4,
&random_float_signed_unsigned_rounding_mode_quadruple_gen_var_4,
&special_random_float_signed_unsigned_rounding_mode_quadruple_gen_var_4,
)
}
pub fn float_signed_rounding_mode_triple_gen_var_1<T: PrimitiveSigned>()
-> Generator<(Float, T, RoundingMode)> {
Generator::new(
&exhaustive_float_signed_rounding_mode_triple_gen_var_1,
&random_float_signed_rounding_mode_triple_gen_var_1,
&special_random_float_signed_rounding_mode_triple_gen_var_1,
)
}
pub fn float_signed_rounding_mode_triple_gen_var_2<T: PrimitiveSigned>()
-> Generator<(Float, T, RoundingMode)> {
Generator::new(
&exhaustive_float_signed_rounding_mode_triple_gen_var_2,
&random_float_signed_rounding_mode_triple_gen_var_2,
&special_random_float_signed_rounding_mode_triple_gen_var_2,
)
}
pub fn float_signed_rounding_mode_triple_gen_var_3<T: PrimitiveSigned>()
-> Generator<(Float, T, RoundingMode)> {
Generator::new(
&exhaustive_float_signed_rounding_mode_triple_gen_var_3,
&random_float_signed_rounding_mode_triple_gen_var_3,
&special_random_float_signed_rounding_mode_triple_gen_var_3,
)
}
pub fn float_signed_rounding_mode_triple_gen_var_3_rm() -> Generator<(
(rug::Float, i32, rug::float::Round),
(Float, i32, RoundingMode),
)> {
Generator::new(
&|| {
let ts = exhaustive_float_signed_rounding_mode_triple_gen_var_3();
float_t_rounding_mode_triple_rm(ts)
},
&|config| {
float_t_rounding_mode_triple_rm(random_float_signed_rounding_mode_triple_gen_var_3(
config,
))
},
&|config| {
float_t_rounding_mode_triple_rm(
special_random_float_signed_rounding_mode_triple_gen_var_3(config),
)
},
)
}
pub fn float_signed_rounding_mode_triple_gen_var_4<T: PrimitiveSigned>()
-> Generator<(Float, T, RoundingMode)> {
Generator::new(
&exhaustive_float_signed_rounding_mode_triple_gen_var_4,
&random_float_signed_rounding_mode_triple_gen_var_4,
&special_random_float_signed_rounding_mode_triple_gen_var_4,
)
}
pub fn float_signed_rounding_mode_triple_gen_var_5<T: PrimitiveSigned>()
-> Generator<(Float, T, RoundingMode)> {
Generator::new(
&exhaustive_float_signed_rounding_mode_triple_gen_var_5,
&random_float_signed_rounding_mode_triple_gen_var_5,
&special_random_float_signed_rounding_mode_triple_gen_var_5,
)
}
pub fn float_signed_rounding_mode_triple_gen_var_6<T: PrimitiveSigned>()
-> Generator<(Float, T, RoundingMode)> {
Generator::new(
&exhaustive_float_signed_rounding_mode_triple_gen_var_6,
&random_float_signed_rounding_mode_triple_gen_var_6,
&special_random_float_signed_rounding_mode_triple_gen_var_6,
)
}
pub fn float_signed_rounding_mode_triple_gen_var_6_rm() -> Generator<(
(rug::Float, i32, rug::float::Round),
(Float, i32, RoundingMode),
)> {
Generator::new(
&|| {
let ts = exhaustive_float_signed_rounding_mode_triple_gen_var_6();
float_t_rounding_mode_triple_rm(ts)
},
&|config| {
float_t_rounding_mode_triple_rm(random_float_signed_rounding_mode_triple_gen_var_6(
config,
))
},
&|config| {
float_t_rounding_mode_triple_rm(
special_random_float_signed_rounding_mode_triple_gen_var_6(config),
)
},
)
}
pub fn float_unsigned_pair_gen<T: PrimitiveUnsigned>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_unsigned_pair_gen,
&random_float_unsigned_pair_gen,
&special_random_float_unsigned_pair_gen,
)
}
type GT<T> = Generator<((rug::Float, T), (Float, T))>;
pub fn float_unsigned_pair_gen_rm<T: PrimitiveUnsigned>() -> GT<T> {
Generator::new(
&|| float_primitive_int_pair_rm(exhaustive_float_unsigned_pair_gen()),
&|config| float_primitive_int_pair_rm(random_float_unsigned_pair_gen(config)),
&|config| float_primitive_int_pair_rm(special_random_float_unsigned_pair_gen(config)),
)
}
pub fn float_unsigned_pair_gen_var_1<T: PrimitiveUnsigned>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_unsigned_pair_gen_var_1,
&random_float_unsigned_pair_gen_var_1,
&special_random_float_unsigned_pair_gen_var_1,
)
}
pub fn float_unsigned_pair_gen_var_1_rm<T: PrimitiveUnsigned>()
-> Generator<((rug::Float, T), (Float, T))> {
Generator::new(
&|| float_primitive_int_pair_rm(exhaustive_float_unsigned_pair_gen_var_1()),
&|config| float_primitive_int_pair_rm(random_float_unsigned_pair_gen_var_1(config)),
&|config| float_primitive_int_pair_rm(special_random_float_unsigned_pair_gen_var_1(config)),
)
}
pub fn float_unsigned_pair_gen_var_2<T: PrimitiveUnsigned>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_unsigned_pair_gen_var_2,
&random_float_unsigned_pair_gen_var_2,
&special_random_float_unsigned_pair_gen_var_2,
)
}
pub fn float_unsigned_pair_gen_var_2_rm<T: PrimitiveUnsigned>()
-> Generator<((rug::Float, T), (Float, T))> {
Generator::new(
&|| float_primitive_int_pair_rm(exhaustive_float_unsigned_pair_gen_var_2()),
&|config| float_primitive_int_pair_rm(random_float_unsigned_pair_gen_var_2(config)),
&|config| float_primitive_int_pair_rm(special_random_float_unsigned_pair_gen_var_2(config)),
)
}
pub fn float_unsigned_pair_gen_var_3<T: PrimitiveUnsigned>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_unsigned_pair_gen_var_3,
&random_float_unsigned_pair_gen_var_3,
&special_random_float_unsigned_pair_gen_var_3,
)
}
pub fn float_unsigned_pair_gen_var_4<T: PrimitiveUnsigned>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_unsigned_pair_gen_var_4,
&random_float_unsigned_pair_gen_var_4,
&special_random_float_unsigned_pair_gen_var_4,
)
}
pub fn float_unsigned_pair_gen_var_5<T: PrimitiveUnsigned>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_unsigned_pair_gen_var_5,
&random_float_unsigned_pair_gen_var_5,
&special_random_float_unsigned_pair_gen_var_5,
)
}
pub fn float_unsigned_pair_gen_var_6<T: PrimitiveUnsigned>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_unsigned_pair_gen_var_6,
&random_float_unsigned_pair_gen_var_6,
&special_random_float_unsigned_pair_gen_var_6,
)
}
pub fn float_unsigned_pair_gen_var_7<T: PrimitiveUnsigned>() -> Generator<(Float, T)> {
Generator::new(
&exhaustive_float_unsigned_pair_gen_var_7,
&random_float_unsigned_pair_gen_var_7,
&special_random_float_unsigned_pair_gen_var_7,
)
}
pub fn float_unsigned_unsigned_triple_gen<T: PrimitiveUnsigned>() -> Generator<(Float, T, T)> {
Generator::new(
&exhaustive_float_unsigned_unsigned_triple_gen,
&random_float_primitive_int_primitive_int_triple_gen,
&special_random_float_unsigned_unsigned_triple_gen,
)
}
pub fn float_unsigned_unsigned_triple_gen_var_1<T: PrimitiveUnsigned, U: PrimitiveUnsigned>()
-> Generator<(Float, T, U)> {
Generator::new(
&exhaustive_float_unsigned_unsigned_triple_gen_var_1,
&random_float_unsigned_unsigned_triple_gen_var_1,
&special_random_float_unsigned_unsigned_triple_gen_var_1,
)
}
pub fn float_unsigned_unsigned_triple_gen_var_1_rm<T: PrimitiveUnsigned>()
-> Generator<((rug::Float, T, u64), (Float, T, u64))> {
Generator::new(
&|| float_t_u_triple_rm(exhaustive_float_unsigned_unsigned_triple_gen_var_1()),
&|config| float_t_u_triple_rm(random_float_unsigned_unsigned_triple_gen_var_1(config)),
&|config| {
float_t_u_triple_rm(special_random_float_unsigned_unsigned_triple_gen_var_1(
config,
))
},
)
}
pub fn float_unsigned_unsigned_triple_gen_var_2<T: PrimitiveUnsigned, U: PrimitiveUnsigned>()
-> Generator<(Float, T, U)> {
Generator::new(
&exhaustive_float_unsigned_unsigned_triple_gen_var_2,
&random_float_unsigned_unsigned_triple_gen_var_2,
&special_random_float_unsigned_unsigned_triple_gen_var_2,
)
}
pub fn float_unsigned_unsigned_rounding_mode_quadruple_gen_var_1<T: PrimitiveUnsigned>()
-> Generator<(Float, T, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_1,
&random_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_1,
&special_random_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_1,
)
}
pub fn float_unsigned_unsigned_rounding_mode_quadruple_gen_var_1_rm<T: PrimitiveUnsigned>()
-> Generator<(
(rug::Float, T, u64, rug::float::Round),
(Float, T, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_t_u_rounding_mode_quadruple_rm(
exhaustive_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_1(),
)
},
&|config| {
float_t_u_rounding_mode_quadruple_rm(
random_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_1(config),
)
},
&|config| {
float_t_u_rounding_mode_quadruple_rm(
special_random_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_1(config),
)
},
)
}
pub fn float_unsigned_unsigned_rounding_mode_quadruple_gen_var_2<T: PrimitiveUnsigned>()
-> Generator<(Float, T, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_2,
&random_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_2,
&special_random_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_2,
)
}
pub fn float_unsigned_unsigned_rounding_mode_quadruple_gen_var_3<T: PrimitiveUnsigned>()
-> Generator<(Float, T, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_3,
&random_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_3,
&special_random_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_3,
)
}
pub fn float_unsigned_unsigned_rounding_mode_quadruple_gen_var_3_rm<T: PrimitiveUnsigned>()
-> Generator<(
(rug::Float, T, u64, rug::float::Round),
(Float, T, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_t_u_rounding_mode_quadruple_rm(
exhaustive_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_3(),
)
},
&|config| {
float_t_u_rounding_mode_quadruple_rm(
random_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_3(config),
)
},
&|config| {
float_t_u_rounding_mode_quadruple_rm(
special_random_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_3(config),
)
},
)
}
pub fn float_unsigned_unsigned_rounding_mode_quadruple_gen_var_4<T: PrimitiveUnsigned>()
-> Generator<(Float, T, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_4,
&random_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_4,
&special_random_float_unsigned_unsigned_rounding_mode_quadruple_gen_var_4,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_1() -> Generator<(Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_1,
&random_float_unsigned_rounding_mode_triple_gen_var_1,
&special_random_float_unsigned_rounding_mode_triple_gen_var_1,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_1_rm() -> Generator<(
(rug::Float, u64, rug::float::Round),
(Float, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_t_rounding_mode_triple_rm(
exhaustive_float_unsigned_rounding_mode_triple_gen_var_1(),
)
},
&|config| {
float_t_rounding_mode_triple_rm(random_float_unsigned_rounding_mode_triple_gen_var_1(
config,
))
},
&|config| {
float_t_rounding_mode_triple_rm(
special_random_float_unsigned_rounding_mode_triple_gen_var_1(config),
)
},
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_2() -> Generator<(Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_2,
&random_float_unsigned_rounding_mode_triple_gen_var_2,
&special_random_float_unsigned_rounding_mode_triple_gen_var_2,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_2_rm() -> Generator<(
(rug::Float, u64, rug::float::Round),
(Float, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_t_rounding_mode_triple_rm(
exhaustive_float_unsigned_rounding_mode_triple_gen_var_2(),
)
},
&|config| {
float_t_rounding_mode_triple_rm(random_float_unsigned_rounding_mode_triple_gen_var_2(
config,
))
},
&|config| {
float_t_rounding_mode_triple_rm(
special_random_float_unsigned_rounding_mode_triple_gen_var_2(config),
)
},
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_3() -> Generator<(Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_3,
&random_float_unsigned_rounding_mode_triple_gen_var_3,
&special_random_float_unsigned_rounding_mode_triple_gen_var_3,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_3_rm() -> Generator<(
(rug::Float, u64, rug::float::Round),
(Float, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_t_rounding_mode_triple_rm(
exhaustive_float_unsigned_rounding_mode_triple_gen_var_3(),
)
},
&|config| {
float_t_rounding_mode_triple_rm(random_float_unsigned_rounding_mode_triple_gen_var_3(
config,
))
},
&|config| {
float_t_rounding_mode_triple_rm(
special_random_float_unsigned_rounding_mode_triple_gen_var_3(config),
)
},
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_4() -> Generator<(Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_4,
&random_float_unsigned_rounding_mode_triple_gen_var_4,
&special_random_float_unsigned_rounding_mode_triple_gen_var_4,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_5<T: PrimitiveUnsigned>()
-> Generator<(Float, T, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_5,
&random_float_unsigned_rounding_mode_triple_gen_var_5,
&special_random_float_unsigned_rounding_mode_triple_gen_var_5,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_6<T: PrimitiveUnsigned>()
-> Generator<(Float, T, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_6,
&random_float_unsigned_rounding_mode_triple_gen_var_6,
&special_random_float_unsigned_rounding_mode_triple_gen_var_6,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_7<T: PrimitiveUnsigned>()
-> Generator<(Float, T, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_7,
&random_float_unsigned_rounding_mode_triple_gen_var_7,
&special_random_float_unsigned_rounding_mode_triple_gen_var_7,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_7_rm() -> Generator<(
(rug::Float, u32, rug::float::Round),
(Float, u32, RoundingMode),
)> {
Generator::new(
&|| {
float_t_rounding_mode_triple_rm(
exhaustive_float_unsigned_rounding_mode_triple_gen_var_7(),
)
},
&|config| {
float_t_rounding_mode_triple_rm(random_float_unsigned_rounding_mode_triple_gen_var_7(
config,
))
},
&|config| {
float_t_rounding_mode_triple_rm(
special_random_float_unsigned_rounding_mode_triple_gen_var_7(config),
)
},
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_8<T: PrimitiveUnsigned>()
-> Generator<(Float, T, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_8,
&random_float_unsigned_rounding_mode_triple_gen_var_8,
&special_random_float_unsigned_rounding_mode_triple_gen_var_8,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_9<T: PrimitiveUnsigned>()
-> Generator<(Float, T, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_9,
&random_float_unsigned_rounding_mode_triple_gen_var_9,
&special_random_float_unsigned_rounding_mode_triple_gen_var_9,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_10<T: PrimitiveUnsigned>()
-> Generator<(Float, T, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_10,
&random_float_unsigned_rounding_mode_triple_gen_var_10,
&special_random_float_unsigned_rounding_mode_triple_gen_var_10,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_10_rm() -> Generator<(
(rug::Float, u32, rug::float::Round),
(Float, u32, RoundingMode),
)> {
Generator::new(
&|| {
float_t_rounding_mode_triple_rm(
exhaustive_float_unsigned_rounding_mode_triple_gen_var_10(),
)
},
&|config| {
float_t_rounding_mode_triple_rm(random_float_unsigned_rounding_mode_triple_gen_var_10(
config,
))
},
&|config| {
float_t_rounding_mode_triple_rm(
special_random_float_unsigned_rounding_mode_triple_gen_var_10(config),
)
},
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_11() -> Generator<(Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_11,
&random_float_unsigned_rounding_mode_triple_gen_var_11,
&special_random_float_unsigned_rounding_mode_triple_gen_var_11,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_12() -> Generator<(Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_12,
&random_float_unsigned_rounding_mode_triple_gen_var_12,
&special_random_float_unsigned_rounding_mode_triple_gen_var_12,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_13() -> Generator<(Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_13,
&random_float_unsigned_rounding_mode_triple_gen_var_13,
&special_random_float_unsigned_rounding_mode_triple_gen_var_13,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_13_rm() -> Generator<(
(rug::Float, u64, rug::float::Round),
(Float, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_t_rounding_mode_triple_rm(
exhaustive_float_unsigned_rounding_mode_triple_gen_var_13(),
)
},
&|config| {
float_t_rounding_mode_triple_rm(random_float_unsigned_rounding_mode_triple_gen_var_13(
config,
))
},
&|config| {
float_t_rounding_mode_triple_rm(
special_random_float_unsigned_rounding_mode_triple_gen_var_13(config),
)
},
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_14() -> Generator<(Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_14,
&random_float_unsigned_rounding_mode_triple_gen_var_14,
&special_random_float_unsigned_rounding_mode_triple_gen_var_14,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_15() -> Generator<(Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_15,
&random_float_unsigned_rounding_mode_triple_gen_var_15,
&special_random_float_unsigned_rounding_mode_triple_gen_var_15,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_15_rm() -> Generator<(
(rug::Float, u64, rug::float::Round),
(Float, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_t_rounding_mode_triple_rm(
exhaustive_float_unsigned_rounding_mode_triple_gen_var_15(),
)
},
&|config| {
float_t_rounding_mode_triple_rm(random_float_unsigned_rounding_mode_triple_gen_var_15(
config,
))
},
&|config| {
float_t_rounding_mode_triple_rm(
special_random_float_unsigned_rounding_mode_triple_gen_var_15(config),
)
},
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_16() -> Generator<(Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_16,
&random_float_unsigned_rounding_mode_triple_gen_var_16,
&special_random_float_unsigned_rounding_mode_triple_gen_var_16,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_17() -> Generator<(Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_17,
&random_float_unsigned_rounding_mode_triple_gen_var_17,
&special_random_float_unsigned_rounding_mode_triple_gen_var_17,
)
}
pub fn float_unsigned_rounding_mode_triple_gen_var_18() -> Generator<(Float, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_unsigned_rounding_mode_triple_gen_var_18,
&random_float_unsigned_rounding_mode_triple_gen_var_18,
&special_random_float_unsigned_rounding_mode_triple_gen_var_18,
)
}
pub fn float_rational_pair_gen() -> Generator<(Float, Rational)> {
Generator::new(
&exhaustive_float_rational_pair_gen,
&random_float_rational_pair_gen,
&special_random_float_rational_pair_gen,
)
}
pub fn float_rational_pair_gen_rm() -> Generator<((rug::Float, rug::Rational), (Float, Rational))> {
Generator::new(
&|| float_rational_pair_rm(exhaustive_float_rational_pair_gen()),
&|config| float_rational_pair_rm(random_float_rational_pair_gen(config)),
&|config| float_rational_pair_rm(special_random_float_rational_pair_gen(config)),
)
}
pub fn float_rational_pair_gen_var_1() -> Generator<(Float, Rational)> {
Generator::new(
&exhaustive_float_rational_pair_gen_var_1,
&random_float_rational_pair_gen_var_1,
&special_random_float_rational_pair_gen_var_1,
)
}
pub fn float_rational_pair_gen_var_2() -> Generator<(Float, Rational)> {
Generator::new(
&exhaustive_float_rational_pair_gen_var_2,
&random_float_rational_pair_gen_var_2,
&special_random_float_rational_pair_gen_var_2,
)
}
pub fn float_rational_unsigned_triple_gen_var_1<T: PrimitiveUnsigned>()
-> Generator<(Float, Rational, T)> {
Generator::new(
&exhaustive_float_rational_unsigned_triple_gen_var_1,
&random_float_rational_unsigned_triple_gen_var_1,
&special_random_float_rational_unsigned_triple_gen_var_1,
)
}
pub fn float_rational_unsigned_triple_gen_var_1_rm<T: PrimitiveUnsigned>()
-> Generator<((rug::Float, rug::Rational, T), (Float, Rational, T))> {
Generator::new(
&|| {
let ef = exhaustive_float_rational_unsigned_triple_gen_var_1();
float_rational_anything_triple_rm(ef)
},
&|config| {
float_rational_anything_triple_rm(random_float_rational_unsigned_triple_gen_var_1(
config,
))
},
&|config| {
float_rational_anything_triple_rm(
special_random_float_rational_unsigned_triple_gen_var_1(config),
)
},
)
}
pub fn float_rational_unsigned_triple_gen_var_2<T: PrimitiveUnsigned>()
-> Generator<(Float, Rational, T)> {
Generator::new(
&exhaustive_float_rational_unsigned_triple_gen_var_2,
&random_float_rational_unsigned_triple_gen_var_2,
&special_random_float_rational_unsigned_triple_gen_var_2,
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_1()
-> Generator<(Float, Rational, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_1,
&random_float_rational_unsigned_rounding_mode_quadruple_gen_var_1,
&special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_1,
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_1_rm() -> Generator<(
(rug::Float, rug::Rational, u64, rug::float::Round),
(Float, Rational, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_rational_anything_rounding_mode_quadruple_rm(
exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_1(),
)
},
&|config| {
float_rational_anything_rounding_mode_quadruple_rm(
random_float_rational_unsigned_rounding_mode_quadruple_gen_var_1(config),
)
},
&|config| {
float_rational_anything_rounding_mode_quadruple_rm(
special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_1(config),
)
},
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_2()
-> Generator<(Float, Rational, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_2,
&random_float_rational_unsigned_rounding_mode_quadruple_gen_var_2,
&special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_2,
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_2_rm() -> Generator<(
(rug::Float, rug::Rational, u64, rug::float::Round),
(Float, Rational, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_rational_anything_rounding_mode_quadruple_rm(
exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_2(),
)
},
&|config| {
float_rational_anything_rounding_mode_quadruple_rm(
random_float_rational_unsigned_rounding_mode_quadruple_gen_var_2(config),
)
},
&|config| {
float_rational_anything_rounding_mode_quadruple_rm(
special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_2(config),
)
},
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_3()
-> Generator<(Float, Rational, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_3,
&random_float_rational_unsigned_rounding_mode_quadruple_gen_var_3,
&special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_3,
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_3_rm() -> Generator<(
(rug::Float, rug::Rational, u64, rug::float::Round),
(Float, Rational, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_rational_anything_rounding_mode_quadruple_rm(
exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_3(),
)
},
&|config| {
float_rational_anything_rounding_mode_quadruple_rm(
random_float_rational_unsigned_rounding_mode_quadruple_gen_var_3(config),
)
},
&|config| {
float_rational_anything_rounding_mode_quadruple_rm(
special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_3(config),
)
},
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_4()
-> Generator<(Float, Rational, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_4,
&random_float_rational_unsigned_rounding_mode_quadruple_gen_var_4,
&special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_4,
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_4_rm() -> Generator<(
(rug::Float, rug::Rational, u64, rug::float::Round),
(Float, Rational, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_rational_anything_rounding_mode_quadruple_rm(
exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_4(),
)
},
&|config| {
float_rational_anything_rounding_mode_quadruple_rm(
random_float_rational_unsigned_rounding_mode_quadruple_gen_var_4(config),
)
},
&|config| {
float_rational_anything_rounding_mode_quadruple_rm(
special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_4(config),
)
},
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_5()
-> Generator<(Float, Rational, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_5,
&random_float_rational_unsigned_rounding_mode_quadruple_gen_var_5,
&special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_5,
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_5_rm() -> Generator<(
(rug::Float, rug::Rational, u64, rug::float::Round),
(Float, Rational, u64, RoundingMode),
)> {
Generator::new(
&|| {
float_rational_anything_rounding_mode_quadruple_rm(
exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_5(),
)
},
&|config| {
float_rational_anything_rounding_mode_quadruple_rm(
random_float_rational_unsigned_rounding_mode_quadruple_gen_var_5(config),
)
},
&|config| {
float_rational_anything_rounding_mode_quadruple_rm(
special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_5(config),
)
},
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_6()
-> Generator<(Float, Rational, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_6,
&random_float_rational_unsigned_rounding_mode_quadruple_gen_var_6,
&special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_6,
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_7()
-> Generator<(Float, Rational, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_7,
&random_float_rational_unsigned_rounding_mode_quadruple_gen_var_7,
&special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_7,
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_8()
-> Generator<(Float, Rational, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_8,
&random_float_rational_unsigned_rounding_mode_quadruple_gen_var_8,
&special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_8,
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_9()
-> Generator<(Float, Rational, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_9,
&random_float_rational_unsigned_rounding_mode_quadruple_gen_var_9,
&special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_9,
)
}
pub fn float_rational_unsigned_rounding_mode_quadruple_gen_var_10()
-> Generator<(Float, Rational, u64, RoundingMode)> {
Generator::new(
&exhaustive_float_rational_unsigned_rounding_mode_quadruple_gen_var_10,
&random_float_rational_unsigned_rounding_mode_quadruple_gen_var_10,
&special_random_float_rational_unsigned_rounding_mode_quadruple_gen_var_10,
)
}
pub fn float_rational_rational_triple_gen() -> Generator<(Float, Rational, Rational)> {
Generator::new(
&exhaustive_float_rational_rational_triple_gen,
&random_float_rational_rational_triple_gen,
&special_random_float_rational_rational_triple_gen,
)
}
pub fn float_rational_rounding_mode_triple_gen_var_1() -> Generator<(Float, Rational, RoundingMode)>
{
Generator::new(
&exhaustive_float_rational_rounding_mode_triple_gen_var_1,
&random_float_rational_rounding_mode_triple_gen_var_1,
&special_random_float_rational_rounding_mode_triple_gen_var_1,
)
}
pub fn float_rational_rounding_mode_triple_gen_var_2() -> Generator<(Float, Rational, RoundingMode)>
{
Generator::new(
&exhaustive_float_rational_rounding_mode_triple_gen_var_2,
&random_float_rational_rounding_mode_triple_gen_var_2,
&special_random_float_rational_rounding_mode_triple_gen_var_2,
)
}
pub fn float_rational_rounding_mode_triple_gen_var_3_rm() -> Generator<(
(rug::Float, rug::Rational, rug::float::Round),
(Float, Rational, RoundingMode),
)> {
Generator::new(
&|| {
float_rational_rounding_mode_triple_rm(
exhaustive_float_rational_rounding_mode_triple_gen_var_3(),
)
},
&|config| {
float_rational_rounding_mode_triple_rm(
random_float_rational_rounding_mode_triple_gen_var_3(config),
)
},
&|config| {
float_rational_rounding_mode_triple_rm(
special_random_float_rational_rounding_mode_triple_gen_var_3(config),
)
},
)
}
pub fn float_rational_rounding_mode_triple_gen_var_4() -> Generator<(Float, Rational, RoundingMode)>
{
Generator::new(
&exhaustive_float_rational_rounding_mode_triple_gen_var_4,
&random_float_rational_rounding_mode_triple_gen_var_4,
&special_random_float_rational_rounding_mode_triple_gen_var_4,
)
}
pub fn float_rational_rounding_mode_triple_gen_var_5() -> Generator<(Float, Rational, RoundingMode)>
{
Generator::new(
&exhaustive_float_rational_rounding_mode_triple_gen_var_5,
&random_float_rational_rounding_mode_triple_gen_var_5,
&special_random_float_rational_rounding_mode_triple_gen_var_5,
)
}
pub fn float_rational_rounding_mode_triple_gen_var_6() -> Generator<(Float, Rational, RoundingMode)>
{
Generator::new(
&exhaustive_float_rational_rounding_mode_triple_gen_var_6,
&random_float_rational_rounding_mode_triple_gen_var_6,
&special_random_float_rational_rounding_mode_triple_gen_var_6,
)
}
pub fn float_rational_rounding_mode_triple_gen_var_6_rm() -> Generator<(
(rug::Float, rug::Rational, rug::float::Round),
(Float, Rational, RoundingMode),
)> {
Generator::new(
&|| {
float_rational_rounding_mode_triple_rm(
exhaustive_float_rational_rounding_mode_triple_gen_var_6(),
)
},
&|config| {
float_rational_rounding_mode_triple_rm(
random_float_rational_rounding_mode_triple_gen_var_6(config),
)
},
&|config| {
float_rational_rounding_mode_triple_rm(
special_random_float_rational_rounding_mode_triple_gen_var_6(config),
)
},
)
}
pub fn float_rational_rounding_mode_triple_gen_var_7() -> Generator<(Float, Rational, RoundingMode)>
{
Generator::new(
&exhaustive_float_rational_rounding_mode_triple_gen_var_7,
&random_float_rational_rounding_mode_triple_gen_var_7,
&special_random_float_rational_rounding_mode_triple_gen_var_7,
)
}
pub fn float_rational_rounding_mode_triple_gen_var_8() -> Generator<(Float, Rational, RoundingMode)>
{
Generator::new(
&exhaustive_float_rational_rounding_mode_triple_gen_var_8,
&random_float_rational_rounding_mode_triple_gen_var_8,
&special_random_float_rational_rounding_mode_triple_gen_var_8,
)
}
pub fn float_rational_rounding_mode_triple_gen_var_9() -> Generator<(Float, Rational, RoundingMode)>
{
Generator::new(
&exhaustive_float_rational_rounding_mode_triple_gen_var_9,
&random_float_rational_rounding_mode_triple_gen_var_9,
&special_random_float_rational_rounding_mode_triple_gen_var_9,
)
}
type FRR = Generator<(Float, Rational, RoundingMode)>;
pub fn float_rational_rounding_mode_triple_gen_var_10() -> FRR {
Generator::new(
&exhaustive_float_rational_rounding_mode_triple_gen_var_10,
&random_float_rational_rounding_mode_triple_gen_var_10,
&special_random_float_rational_rounding_mode_triple_gen_var_10,
)
}
pub fn float_rational_rounding_mode_triple_gen_var_11() -> FRR {
Generator::new(
&exhaustive_float_rational_rounding_mode_triple_gen_var_11,
&random_float_rational_rounding_mode_triple_gen_var_11,
&special_random_float_rational_rounding_mode_triple_gen_var_11,
)
}
pub fn float_rounding_mode_pair_gen() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen,
&random_float_rounding_mode_pair_gen,
&special_random_float_rounding_mode_pair_gen,
)
}
pub fn float_rounding_mode_pair_gen_var_1() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_1,
&random_float_rounding_mode_pair_gen_var_1,
&special_random_float_rounding_mode_pair_gen_var_1,
)
}
pub fn float_rounding_mode_pair_gen_var_2() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_2,
&random_float_rounding_mode_pair_gen_var_2,
&special_random_float_rounding_mode_pair_gen_var_2,
)
}
pub fn float_rounding_mode_pair_gen_var_3() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_3,
&random_float_rounding_mode_pair_gen_var_3,
&special_random_float_rounding_mode_pair_gen_var_3,
)
}
type GT2 = Generator<(Float, RoundingMode)>;
#[allow(clippy::type_repetition_in_bounds)]
pub fn float_rounding_mode_pair_gen_var_4<T: PrimitiveUnsigned>() -> GT2
where
Float: PartialOrd<T>,
for<'a> T: ConvertibleFrom<&'a Float>,
{
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_4::<T>,
&random_float_rounding_mode_pair_gen_var_4::<T>,
&special_random_float_rounding_mode_pair_gen_var_4::<T>,
)
}
#[allow(clippy::type_repetition_in_bounds)]
pub fn float_rounding_mode_pair_gen_var_5<T: PrimitiveSigned>() -> Generator<(Float, RoundingMode)>
where
Float: PartialOrd<T>,
for<'a> T: ConvertibleFrom<&'a Float>,
{
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_5::<T>,
&random_float_rounding_mode_pair_gen_var_5::<T>,
&special_random_float_rounding_mode_pair_gen_var_5::<T>,
)
}
#[allow(clippy::type_repetition_in_bounds)]
pub fn float_rounding_mode_pair_gen_var_6<T: PrimitiveFloat>() -> Generator<(Float, RoundingMode)>
where
for<'a> T: ConvertibleFrom<&'a Float>,
{
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_6::<T>,
&random_float_rounding_mode_pair_gen_var_6::<T>,
&special_random_float_rounding_mode_pair_gen_var_6::<T>,
)
}
pub fn float_rounding_mode_pair_gen_var_7() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_7,
&random_float_rounding_mode_pair_gen_var_7,
&special_random_float_rounding_mode_pair_gen_var_7,
)
}
pub fn float_rounding_mode_pair_gen_var_7_rm()
-> Generator<((rug::Float, rug::float::Round), (Float, RoundingMode))> {
Generator::new(
&|| float_rounding_mode_pair_rm(exhaustive_float_rounding_mode_pair_gen_var_7()),
&|config| float_rounding_mode_pair_rm(random_float_rounding_mode_pair_gen_var_7(config)),
&|config| {
float_rounding_mode_pair_rm(special_random_float_rounding_mode_pair_gen_var_7(config))
},
)
}
pub fn float_rounding_mode_pair_gen_var_8() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_8,
&random_float_rounding_mode_pair_gen_var_8,
&special_random_float_rounding_mode_pair_gen_var_8,
)
}
pub fn float_rounding_mode_pair_gen_var_9() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_9,
&random_float_rounding_mode_pair_gen_var_9,
&special_random_float_rounding_mode_pair_gen_var_9,
)
}
pub fn float_rounding_mode_pair_gen_var_10() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_10,
&random_float_rounding_mode_pair_gen_var_10,
&special_random_float_rounding_mode_pair_gen_var_10,
)
}
pub fn float_rounding_mode_pair_gen_var_11() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_11,
&random_float_rounding_mode_pair_gen_var_11,
&special_random_float_rounding_mode_pair_gen_var_11,
)
}
pub fn float_rounding_mode_pair_gen_var_12() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_12,
&random_float_rounding_mode_pair_gen_var_12,
&special_random_float_rounding_mode_pair_gen_var_12,
)
}
pub fn float_rounding_mode_pair_gen_var_13() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_13,
&random_float_rounding_mode_pair_gen_var_13,
&special_random_float_rounding_mode_pair_gen_var_13,
)
}
pub fn float_rounding_mode_pair_gen_var_13_rm()
-> Generator<((rug::Float, rug::float::Round), (Float, RoundingMode))> {
Generator::new(
&|| float_rounding_mode_pair_rm(exhaustive_float_rounding_mode_pair_gen_var_13()),
&|config| float_rounding_mode_pair_rm(random_float_rounding_mode_pair_gen_var_13(config)),
&|config| {
float_rounding_mode_pair_rm(special_random_float_rounding_mode_pair_gen_var_13(config))
},
)
}
pub fn float_rounding_mode_pair_gen_var_14() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_14,
&random_float_rounding_mode_pair_gen_var_14,
&special_random_float_rounding_mode_pair_gen_var_14,
)
}
pub fn float_rounding_mode_pair_gen_var_15() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_15,
&random_float_rounding_mode_pair_gen_var_15,
&special_random_float_rounding_mode_pair_gen_var_15,
)
}
pub fn float_rounding_mode_pair_gen_var_16() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_16,
&random_float_rounding_mode_pair_gen_var_16,
&special_random_float_rounding_mode_pair_gen_var_16,
)
}
pub fn float_rounding_mode_pair_gen_var_17() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_17,
&random_float_rounding_mode_pair_gen_var_17,
&special_random_float_rounding_mode_pair_gen_var_17,
)
}
#[allow(clippy::type_repetition_in_bounds)]
pub fn float_rounding_mode_pair_gen_var_18<T: PrimitiveUnsigned>() -> GT2
where
Float: PartialOrd<T>,
for<'a> T: ConvertibleFrom<&'a Float>,
{
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_18::<T>,
&random_float_rounding_mode_pair_gen_var_18::<T>,
&special_random_float_rounding_mode_pair_gen_var_18::<T>,
)
}
#[allow(clippy::type_repetition_in_bounds)]
pub fn float_rounding_mode_pair_gen_var_19<T: PrimitiveSigned>() -> Generator<(Float, RoundingMode)>
where
Float: PartialOrd<T>,
for<'a> T: ConvertibleFrom<&'a Float>,
{
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_19::<T>,
&random_float_rounding_mode_pair_gen_var_19::<T>,
&special_random_float_rounding_mode_pair_gen_var_19::<T>,
)
}
#[allow(clippy::type_repetition_in_bounds)]
pub fn float_rounding_mode_pair_gen_var_20<T: PrimitiveFloat>() -> Generator<(Float, RoundingMode)>
where
for<'a> T: ConvertibleFrom<&'a Float>,
{
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_20::<T>,
&random_float_rounding_mode_pair_gen_var_20::<T>,
&special_random_float_rounding_mode_pair_gen_var_20::<T>,
)
}
pub fn float_rounding_mode_pair_gen_var_21() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_21,
&random_float_rounding_mode_pair_gen_var_21,
&special_random_float_rounding_mode_pair_gen_var_21,
)
}
pub fn float_rounding_mode_pair_gen_var_22() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_22,
&random_float_rounding_mode_pair_gen_var_22,
&special_random_float_rounding_mode_pair_gen_var_22,
)
}
pub fn float_rounding_mode_pair_gen_var_23() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_23,
&random_float_rounding_mode_pair_gen_var_23,
&special_random_float_rounding_mode_pair_gen_var_23,
)
}
pub fn float_rounding_mode_pair_gen_var_24() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_24,
&random_float_rounding_mode_pair_gen_var_24,
&special_random_float_rounding_mode_pair_gen_var_24,
)
}
pub fn float_rounding_mode_pair_gen_var_24_rm()
-> Generator<((rug::Float, rug::float::Round), (Float, RoundingMode))> {
Generator::new(
&|| float_rounding_mode_pair_rm(exhaustive_float_rounding_mode_pair_gen_var_24()),
&|config| float_rounding_mode_pair_rm(random_float_rounding_mode_pair_gen_var_24(config)),
&|config| {
float_rounding_mode_pair_rm(special_random_float_rounding_mode_pair_gen_var_24(config))
},
)
}
pub fn float_rounding_mode_pair_gen_var_25() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_25,
&random_float_rounding_mode_pair_gen_var_25,
&special_random_float_rounding_mode_pair_gen_var_25,
)
}
pub fn float_rounding_mode_pair_gen_var_26() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_26,
&random_float_rounding_mode_pair_gen_var_26,
&special_random_float_rounding_mode_pair_gen_var_26,
)
}
pub fn float_rounding_mode_pair_gen_var_27() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_27,
&random_float_rounding_mode_pair_gen_var_27,
&special_random_float_rounding_mode_pair_gen_var_27,
)
}
pub fn float_rounding_mode_pair_gen_var_28() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_28,
&random_float_rounding_mode_pair_gen_var_28,
&special_random_float_rounding_mode_pair_gen_var_28,
)
}
pub fn float_rounding_mode_pair_gen_var_29() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_29,
&random_float_rounding_mode_pair_gen_var_29,
&special_random_float_rounding_mode_pair_gen_var_29,
)
}
pub fn float_rounding_mode_pair_gen_var_30() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_30,
&random_float_rounding_mode_pair_gen_var_30,
&special_random_float_rounding_mode_pair_gen_var_30,
)
}
pub fn float_rounding_mode_pair_gen_var_30_rm()
-> Generator<((rug::Float, rug::float::Round), (Float, RoundingMode))> {
Generator::new(
&|| float_rounding_mode_pair_rm(exhaustive_float_rounding_mode_pair_gen_var_30()),
&|config| float_rounding_mode_pair_rm(random_float_rounding_mode_pair_gen_var_30(config)),
&|config| {
float_rounding_mode_pair_rm(special_random_float_rounding_mode_pair_gen_var_30(config))
},
)
}
pub fn float_rounding_mode_pair_gen_var_31() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_31,
&random_float_rounding_mode_pair_gen_var_31,
&special_random_float_rounding_mode_pair_gen_var_31,
)
}
pub fn float_rounding_mode_pair_gen_var_32() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_32,
&random_float_rounding_mode_pair_gen_var_32,
&special_random_float_rounding_mode_pair_gen_var_32,
)
}
pub fn float_rounding_mode_pair_gen_var_33() -> Generator<(Float, RoundingMode)> {
Generator::new(
&exhaustive_float_rounding_mode_pair_gen_var_33,
&random_float_rounding_mode_pair_gen_var_33,
&special_random_float_rounding_mode_pair_gen_var_33,
)
}
pub fn integer_unsigned_rounding_mode_triple_gen_var_3() -> Generator<(Integer, u64, RoundingMode)>
{
Generator::new(
&exhaustive_integer_unsigned_rounding_mode_triple_gen_var_3,
&random_integer_unsigned_rounding_mode_triple_gen_var_3,
&special_random_integer_unsigned_rounding_mode_triple_gen_var_3,
)
}
pub fn integer_unsigned_rounding_mode_triple_gen_var_4() -> Generator<(Integer, u64, RoundingMode)>
{
Generator::new(
&exhaustive_integer_unsigned_rounding_mode_triple_gen_var_4,
&random_integer_unsigned_rounding_mode_triple_gen_var_4,
&special_random_integer_unsigned_rounding_mode_triple_gen_var_4,
)
}
pub fn primitive_float_unsigned_rounding_mode_triple_gen_var_3<T: PrimitiveFloat>()
-> Generator<(T, u64, RoundingMode)>
where
Float: From<T>,
{
Generator::new(
&exhaustive_primitive_float_unsigned_rounding_mode_triple_gen_var_3,
&random_primitive_float_unsigned_rounding_mode_triple_gen_var_3,
&special_random_primitive_float_unsigned_rounding_mode_triple_gen_var_3,
)
}
pub fn primitive_float_unsigned_rounding_mode_triple_gen_var_4<T: PrimitiveFloat>()
-> Generator<(T, u64, RoundingMode)>
where
Float: From<T>,
{
Generator::new(
&exhaustive_primitive_float_unsigned_rounding_mode_triple_gen_var_4,
&random_primitive_float_unsigned_rounding_mode_triple_gen_var_4,
&special_random_primitive_float_unsigned_rounding_mode_triple_gen_var_4,
)
}
pub fn natural_unsigned_rounding_mode_triple_gen_var_2() -> Generator<(Natural, u64, RoundingMode)>
{
Generator::new(
&exhaustive_natural_unsigned_rounding_mode_triple_gen_var_2,
&random_natural_unsigned_rounding_mode_triple_gen_var_2,
&special_random_natural_unsigned_rounding_mode_triple_gen_var_2,
)
}
pub fn natural_unsigned_rounding_mode_triple_gen_var_3() -> Generator<(Natural, u64, RoundingMode)>
{
Generator::new(
&exhaustive_natural_unsigned_rounding_mode_triple_gen_var_3,
&random_natural_unsigned_rounding_mode_triple_gen_var_3,
&special_random_natural_unsigned_rounding_mode_triple_gen_var_3,
)
}
pub fn signed_unsigned_rounding_mode_triple_gen_var_3<T: PrimitiveSigned>()
-> Generator<(T, u64, RoundingMode)> {
Generator::new(
&exhaustive_signed_unsigned_rounding_mode_triple_gen_var_3,
&random_signed_unsigned_rounding_mode_triple_gen_var_1,
&special_random_signed_unsigned_rounding_mode_triple_gen_var_3,
)
}
pub fn signed_unsigned_rounding_mode_triple_gen_var_4<T: PrimitiveSigned>()
-> Generator<(T, u64, RoundingMode)> {
Generator::new(
&exhaustive_signed_unsigned_rounding_mode_triple_gen_var_4,
&random_signed_unsigned_rounding_mode_triple_gen_var_2,
&special_random_signed_unsigned_rounding_mode_triple_gen_var_4,
)
}
pub fn signed_unsigned_rounding_mode_triple_gen_var_5() -> Generator<(i64, u64, RoundingMode)> {
Generator::new_no_special(
&exhaustive_signed_unsigned_rounding_mode_triple_gen_var_5,
&random_signed_unsigned_rounding_mode_triple_gen_var_3,
)
}
pub fn signed_unsigned_rounding_mode_triple_gen_var_6() -> Generator<(i64, u64, RoundingMode)> {
Generator::new(
&exhaustive_signed_unsigned_rounding_mode_triple_gen_var_5,
&random_signed_unsigned_rounding_mode_triple_gen_var_4,
&special_random_signed_unsigned_rounding_mode_triple_gen_var_5,
)
}
pub fn unsigned_unsigned_rounding_mode_triple_gen_var_5<T: PrimitiveUnsigned>()
-> Generator<(T, u64, RoundingMode)> {
Generator::new(
&exhaustive_unsigned_unsigned_rounding_mode_triple_gen_var_6,
&random_unsigned_unsigned_rounding_mode_triple_gen_var_3,
&special_random_unsigned_unsigned_rounding_mode_triple_gen_var_5,
)
}
pub fn unsigned_unsigned_rounding_mode_triple_gen_var_6<T: PrimitiveUnsigned>()
-> Generator<(T, u64, RoundingMode)> {
Generator::new(
&exhaustive_unsigned_unsigned_rounding_mode_triple_gen_var_7,
&random_unsigned_unsigned_rounding_mode_triple_gen_var_4,
&special_random_unsigned_unsigned_rounding_mode_triple_gen_var_6,
)
}
type GT3 = Generator<(Rational, u64, RoundingMode)>;
pub fn rational_unsigned_rounding_mode_triple_gen_var_1() -> GT3 {
Generator::new(
&exhaustive_rational_unsigned_rounding_mode_triple_gen_var_1,
&random_rational_unsigned_rounding_mode_triple_gen_var_1,
&special_random_rational_unsigned_rounding_mode_triple_gen_var_2,
)
}
pub fn rational_unsigned_rounding_mode_triple_gen_var_2() -> GT3 {
Generator::new(
&exhaustive_rational_unsigned_rounding_mode_triple_gen_var_2,
&random_rational_unsigned_rounding_mode_triple_gen_var_2,
&special_random_rational_unsigned_rounding_mode_triple_gen_var_3,
)
}
pub fn rational_unsigned_rounding_mode_triple_gen_var_3() -> GT3 {
Generator::new(
&exhaustive_rational_unsigned_rounding_mode_triple_gen_var_3,
&random_rational_unsigned_rounding_mode_triple_gen_var_3,
&special_random_rational_unsigned_rounding_mode_triple_gen_var_4,
)
}
pub fn rational_unsigned_rounding_mode_triple_gen_var_4() -> GT3 {
Generator::new(
&exhaustive_rational_unsigned_rounding_mode_triple_gen_var_4,
&random_rational_unsigned_rounding_mode_triple_gen_var_4,
&special_random_rational_unsigned_rounding_mode_triple_gen_var_5,
)
}
pub fn rational_unsigned_rounding_mode_triple_gen_var_5() -> GT3 {
Generator::new(
&exhaustive_rational_unsigned_rounding_mode_triple_gen_var_5,
&random_rational_unsigned_rounding_mode_triple_gen_var_5,
&special_random_rational_unsigned_rounding_mode_triple_gen_var_6,
)
}
pub fn rational_rational_unsigned_rounding_mode_quadruple_gen_var_1()
-> Generator<(Rational, Rational, u64, RoundingMode)> {
Generator::new(
&exhaustive_rational_rational_unsigned_rounding_mode_quadruple_gen_var_1,
&random_rational_rational_unsigned_rounding_mode_quadruple_gen_var_1,
&special_random_rational_rational_unsigned_rounding_mode_quadruple_gen_var_1,
)
}
pub fn rational_rounding_mode_pair_gen_var_6() -> Generator<(Rational, RoundingMode)> {
Generator::new(
&exhaustive_rational_rounding_mode_pair_gen_var_6,
&random_rational_rounding_mode_pair_gen_var_6,
&special_random_rational_rounding_mode_pair_gen_var_6,
)
}
pub mod common;
pub mod exhaustive;
pub mod random;
pub mod special_random;