package prbnmcn-dagger-test

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Test resampling (used in SMC)

val initial_state : int array

val state : Dagger.RNG.t

val pp_arr : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a 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 -> ('a, Q.t) Dagger.Resampling.particles

exception Invalid_population

val 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

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:(Format.formatter -> 'a -> unit) ->
  ?msg:string ->
  ('a Dist.t -> 'b) ->
  'a Dist.t ->
  unit

val test_stratified_on_handcrafted : QCheck.Test.t

val test_iterative_stratified : QCheck.Test.t

val tests : QCheck.Test.t list