package Snowflake
-
Snowflake
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module ToS : sig ... end
val assert_lightest : g -> unit
val graph_check_neighb : g -> bool
val normalize_vertex : g -> int -> bool
val merge : g -> int -> int -> unit
val normalize_bucket : g -> int -> int list -> int list
val of_graphHFT : GuaCaml.GraphHFT.Type.hg -> g
val lightspeed_lopt :
?verbose:bool ->
GuaCaml.GraphHFT.Type.hg ->
GuaCaml.BTools.BNat.nat * int list list
val lightspeed_greedy :
?verbose:bool ->
Wap_exchange.input ->
Wap_exchange.output