orgeat 0.0.1 · OCaml Package

orgeat

To focus the search input from anywhere on the page, press the 'S' key.

in-package search v0.1.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module K : Scalar.S

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 =

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

type _ 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 ->
  Random.State.t ->
  int * 'a

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