package orgeat

  1. Overview
  2. Docs

Module Boltzmann.SamplingSource

Parameters

module K : Scalar.S

Signature

Sourcemodule Combi : sig ... end
Sourcemodule Boltzmann : sig ... end
Sourcemodule Solver : sig ... end
Sourceval unsolve : 'c. 'c Combi.combi_class -> unit
Sourceval get_solved_tree : 'a. K.t -> K.t Misc.LClassMap.t -> 'a Combi.combi_class -> 'a Combi.solved_tree
Sourceval check_size : max_size:'a option -> 'a -> unit
Sourcetype _ konts =
  1. | K_Left : 'right Combi.stub * ((int * 'left) -> (int * 'right) -> int * 'root) -> ('left -> 'root) konts
  2. | K_Right : ((int * 'right) -> int * 'root) -> ('right -> 'root) konts
  3. | K_Map : ('a -> 'b) -> ('a -> 'b) konts
Sourcetype _ klist =
  1. | K_Empty : ('a -> 'a) klist
  2. | K_Cons : (('a -> 'b) konts * ('b -> 'c) klist) -> ('a -> 'c) klist
Sourceval konts_to_string : ('a -> 'b) konts -> string
Sourceval klist_to_string : 'a. 'a klist -> string
Sourceval sample : 'a. ?min_size:int -> ?max_size:int -> K.t -> K.t Misc.LClassMap.t -> 'a Combi.combi_class -> Random.State.t -> int * 'a
Sourceval get_singular_boltzmann_sampler : 'a. ?min_size:int -> ?max_size:int -> 'a Combi.combi_class -> K.t -> Random.State.t -> int * 'a
OCaml

Innovation. Community. Security.