package Snowflake

  1. Overview
  2. Docs
val prefix : string
val verbose : bool
type v = {
  1. index : int;
  2. mutable weight : int;
  3. mutable neighb : int;
  4. mutable names : int list;
  5. mutable edges : int list;
  6. alive : bool;
}
type g = {
  1. vertices : v option array;
  2. buckets : int list array;
  3. mutable lightest : int;
}
module ToS : sig ... end
val get : g -> int -> v option
val set : g -> int -> v option -> unit
val assert_lightest : g -> unit
val compute_neighb : g -> v -> int
val vertex_check_neighb : g -> v -> bool
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 vertex_add_clique : g -> v -> v -> int
val vertex_suppress : g -> v -> int -> unit
val lightspeed_rec : v list -> g -> v 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