module Combi : sig ... endmodule Boltzmann : sig ... endmodule Solver : sig ... endval unsolve : 'c Combi.combi_class -> unitval solve_tree :
K.t ->
K.t Misc.LClassMap.t ->
'a Combi.class_tree ->
'a Combi.solved_treeval get_solved_tree :
K.t ->
K.t Misc.LClassMap.t ->
'a Combi.combi_class ->
'a Combi.solved_treetype !'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) kontsval konts_to_string : ('a -> 'b) konts -> stringval klist_to_string : 'a klist -> stringval sample :
?min_size:int ->
?max_size:int ->
K.t ->
K.t Misc.LClassMap.t ->
'a Combi.combi_class ->
Random.State.t ->
int * 'aval get_singular_boltzmann_sampler :
?min_size:int ->
?max_size:int ->
'a Combi.combi_class ->
K.t ->
Random.State.t ->
int * 'a