package Snowflake
-
Snowflake
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val opmin :
(GuaCaml.BTools.BNat.nat * 'a) option ->
(GuaCaml.BTools.BNat.nat * 'a) ->
(GuaCaml.BTools.BNat.nat * 'a) option
val find_best :
GuaCaml.GraphHFT.Type.hg ->
(GuaCaml.BTools.BNat.nat * int) option
val lightweight_find_lopt :
GuaCaml.GraphHFT.Type.hg ->
GuaCaml.BTools.BNat.nat * int list list
val lightweight_greedy :
?verbose:bool ->
Wap_exchange.input ->
Wap_exchange.output