package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module GGLA = GraphGenLA
module Type : sig ... end
module ToS : sig ... end
module ToB : sig ... end
module OfB : sig ... end
val print_vertex : ?short:bool -> Type.hv -> unit
val print_graph : ?short:bool -> Type.hg -> unit
val vertex_weight : Type.hv -> int
val vertex_alive : Type.hv -> bool
val vertex_names : Type.hv -> int list
val check : ?hred:bool -> Type.hg -> bool
val vtag_add : Type.vtag -> Type.vtag -> Type.vtag
val hg_of_hgl : Type.hgl -> Type.hg
val compute_truetwins_naive : Type.hg -> (Type.vtag, unit) GGLA.TrueTwins.t
val compute_truetwins_naiveD : Type.hg -> (Type.vtag, unit) GGLA.TrueTwins.t
val compute_truetwins_naive_pseudoquad : Type.hg -> (Type.vtag, unit) GGLA.TrueTwins.t
val compute_truetwins_pseudolinear : Type.hg -> (Type.vtag, unit) GGLA.TrueTwins.t
val normalize : Type.hg -> Type.hg
val vertex_contraction : Type.hg -> int -> Type.hg
val of_GraphLA : ?ft:int list -> GraphLA.graph -> Type.hg
val neighbors_weight : Type.hg -> int -> int
val total_weight : Type.hg -> int
val wap_Sc : Type.hg -> int -> BTools.BNat.nat
val call_to_wap_S : int Stdlib.ref
val reset_call_to_wap_S : unit -> int
val wap_S : Type.hg -> int -> BTools.BNat.nat * Type.hg
val wap_S' : Type.hg -> int -> int * BTools.BNat.nat * Type.hg
val wap_SS : Type.hg -> int list -> BTools.BNat.nat * Type.hg
val wap_SS_get_names : Type.hg -> int list -> BTools.BNat.nat * Type.hg * int list list
val graph_set_alive : int list -> ?alive:bool -> Type.hg -> Type.hg
val call_to_wap_R : int Stdlib.ref
val reset_call_to_wap_R : unit -> int
val wap_R : Type.hg -> int list -> Type.hg list
val find_pendant_vertex : Type.hg -> int option
val to_graphviz_vertex : 'a -> Type.vtag -> string
val to_graphviz_string : ?astree:bool -> ?name:string -> Type.hg -> string
val to_graphviz_file : ?astree:bool -> ?name:string -> string -> Type.hg -> unit