Module Dagger_tests.Resampling_test

Test resampling (used in SMC)

Helpers

val initial_state : int array
val state : Dagger.RNG.t
val pp_arr : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'b array -> unit
module Rat : sig ... end
val uniform : Q.t -> Dagger.RNG.t -> Q.t

Instantiate resampling over the field of (arbitrary precision) rationals

module Dist : sig ... end

Define a Q-valued measure generator for QCheck

val is_generator_normalized : QCheck.Test.t
module R : sig ... end
val environment : 'a Dist.t -> ('a0, Q.t) Dagger.Resampling.particles
exception Invalid_population
val list_empty : 'a list -> bool
val resample : 'a Dist.t -> (('a0, Q.t) Dagger.Resampling.particles -> unit -> Dagger.RNG.t -> unit) -> Dagger.RNG.t -> unit
val total_mass : 'a Dist.t -> Q.t
val cardinal : 'a Dist.t -> int
val isum : int array -> int
val iterative_resampling_generic : ?state:Dagger.RNG.t -> 'a Dist.t -> (int -> Dagger.RNG.t -> Rat.t) -> unit
val iterative_stratified_resampling : ?state:Dagger.RNG.t -> 'a Dist.t -> unit
val iter : ?pp:(Stdlib.Format.formatter -> 'a -> unit) -> ?msg:string -> ('b Dist.t -> unit) -> 'c Dist.t -> unit
val test_stratified_on_handcrafted : QCheck.Test.t
val test_iterative_stratified : QCheck.Test.t
val tests : QCheck.Test.t list