Module Distribution.From_Sampler

Parameters

module S : Sampler_S

Signature

type domain = S.domain
val get_probs : Imandra_surface.Modular_region.t list -> ?assuming:string -> ?n:Z.t -> ?d:string -> ?step_function:( domain -> domain ) -> ?num_steps:Z.t -> unit -> ( int, float * Imandra_surface.Modular_region.t ) Stdlib.Hashtbl.t
val query : ( domain -> bool ) -> ?n:Z.t -> ?d:string -> ?max_std_err:Q.t -> ?precision:Z.t -> unit -> unit
val save : string -> ?n:Z.t -> ?d:domain list -> unit -> unit
val load : string -> domain list