text: var class_catch_1_1_generators_1_1_random_floating_generator =
  [
      [ "RandomFloatingGenerator", "class_catch_1_1_generators_1_1_random_floating_generator.html#abce275ce88f7c3465addd7a98b6c408d", null ],
      [ "get", "class_catch_1_1_generators_1_1_random_floating_generator.html#a0dea6fa1f9e2647df022f0b588cf0a8f", null ],
      [ "next", "class_catch_1_1_generators_1_1_random_floating_generator.html#a6a65e5f16abd884f58c31581b2a0d6db", null ]
  ];