package orgeat

You can search for identifiers within the package.

in-package search v0.2.0

Module `From_encoding.Sampling`Source

Sourcemodule Combi : sig ... end

Sourcemodule Boltzmann : sig ... end

Sourcemodule Solver : sig ... end

Sourceval unsolve : 'c Combi.combi_class -> unit

val solve_tree : 
  K.t ->
  K.t Misc.LClassMap.t ->
  'a Combi.class_tree ->
  'a Combi.solved_tree

val get_solved_tree : 
  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 !'c konts =

| K_Left : 'right Combi.stub * ((int * 'left) -> (int * 'right) -> int * 'root) -> ('left -> 'root) konts
| K_Right : ((int * 'right0) -> int * 'root0) -> ('right0 -> 'root0) konts
| K_Map : ('a -> 'b) -> ('a -> 'b) konts

Sourcetype !'d klist =

Sourceval konts_to_string : ('a -> 'b) konts -> string

Sourceval klist_to_string : 'a klist -> string

val sample : 
  ?min_size:??? ->
  ?max_size:??? ->
  K.t ->
  K.t Misc.LClassMap.t ->
  'a Combi.combi_class ->
  Random.State.t ->
  int * 'a

val get_singular_boltzmann_sampler : 
  ?min_size:??? ->
  ?max_size:??? ->
  'a Combi.combi_class ->
  K.t ->
  Random.State.t ->
  int * 'a