package orgeat

  1. Overview
  2. Docs

Parameters

module K : Scalar.S

Signature

module Combi : sig ... end
module Boltzmann : sig ... end
module Solver : sig ... end
val unsolve : 'c. 'c Combi.combi_class -> unit
val solve_tree : 'a. K.t -> K.t Misc.LClassMap.t -> 'a Combi.class_tree -> 'a Combi.solved_tree
val get_solved_tree : 'a. K.t -> K.t Misc.LClassMap.t -> 'a Combi.combi_class -> 'a Combi.solved_tree
val check_size : max_size:'a option -> 'b -> unit
type _ 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
type _ klist =
  1. | K_Empty : ('a -> 'a) klist
  2. | K_Cons : (('a -> 'b) konts * ('b -> 'c) klist) -> ('a -> 'c) klist
val konts_to_string : ('a -> 'b) konts -> string
val klist_to_string : 'a. 'a klist -> string
val sample : 'a. ?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 : 'a. ?min_size:int -> ?max_size:int -> 'a Combi.combi_class -> K.t -> Stdlib.Random.State.t -> int * 'a