package prbnmcn-dagger-test

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Dagger_tests.Resampling_test`Source

Test resampling (used in SMC)

Sourceval initial_state : int array

Sourceval state : Dagger.RNG.t

val pp_arr : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a array ->
  unit

Sourcemodule Rat : sig ... end

Sourceval uniform : Q.t -> Dagger.RNG.t -> Q.t

Instantiate resampling over the field of (arbitrary precision) rationals

Sourcemodule Dist : sig ... end

Define a Q-valued measure generator for QCheck

Sourceval is_generator_normalized : QCheck.Test.t

Sourcemodule R : sig ... end

Sourceval environment : 'a Dist.t -> ('a, Q.t) Dagger.Resampling.particles

Sourceexception Invalid_population

Sourceval list_empty : 'a list -> bool

val resample : 
  'a Dist.t ->
  (('a, Q.t) Dagger.Resampling.particles -> unit -> Dagger.RNG.t -> unit) ->
  Dagger.RNG.t ->
  unit

Sourceval total_mass : 'a Dist.t -> Q.t

Sourceval cardinal : 'a Dist.t -> int

Sourceval isum : int array -> int

val iterative_resampling_generic : 
  ?state:Dagger.RNG.t ->
  'a Dist.t ->
  (int -> Dagger.RNG.t -> Rat.t) ->
  unit

Sourceval iterative_stratified_resampling : ?state:Dagger.RNG.t -> 'a Dist.t -> unit

val iter : 
  ?pp:(Format.formatter -> 'a -> unit) ->
  ?msg:string ->
  ('a Dist.t -> 'b) ->
  'a Dist.t ->
  unit

Sourceval test_stratified_on_handcrafted : QCheck.Test.t

Sourceval test_iterative_stratified : QCheck.Test.t

Sourceval tests : QCheck.Test.t list