Module Distribution.From_Data

Parameters

module D : Data_S

Signature

type domain = D.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