package orgeat

  1. Overview
  2. Docs
module Combi : sig ... end
module Boltzmann : sig ... end
module Solver : sig ... end
val unsolve : 'c Combi.combi_class -> unit
val get_solved_tree : K.t -> K.t Misc.LClassMap.t -> 'a Combi.combi_class -> 'a Combi.solved_tree
val check_size : max_size:'a option -> 'a -> unit
type !'c konts =
  1. | K_Left : 'right Combi.stub * ((int * 'left) -> (int * 'right) -> int * 'root) -> ('left -> 'root) konts
  2. | K_Right : ((int * 'right0) -> int * 'root0) -> ('right0 -> 'root0) konts
  3. | K_Map : ('a -> 'b) -> ('a -> 'b) konts
type !'d klist =
  1. | K_Empty : ('a -> 'a) klist
  2. | K_Cons : (('a0 -> 'b) konts * ('b -> 'c) klist) -> ('a0 -> 'c) klist
val konts_to_string : ('a -> 'b) konts -> string
val klist_to_string : 'a klist -> string
val sample : ?min_size:int -> ?max_size:int -> K.t -> K.t Misc.LClassMap.t -> 'a Combi.combi_class -> Stdlib.Random.State.t -> int * 'a
val get_singular_boltzmann_sampler : ?min_size:int -> ?max_size:int -> 'a Combi.combi_class -> K.t -> Stdlib.Random.State.t -> int * 'a