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 ToShiftS : sig ... end
module ToPrettyS : sig ... end
val print_vertex : Type.hv -> unit
val print_graph : Type.hg -> unit
val vertex_module : Type.hv -> Type.cograph
val vertex_metric : Type.hv -> Type.cometric
val vertex_fixed : Type.hv -> bool
val vertex_useful : Type.hv -> bool
val cograph_support : Type.cograph -> int list
val check_cograph : Type.cograph -> bool
val check_cometric : Type.cometric -> bool
val check : ?tt_red:bool -> ?ft_red:bool -> Type.hg -> bool
val cograph_parallel : Type.cograph -> Type.cograph -> Type.cograph
val cometric_parallel : Type.cometric -> Type.cometric -> Type.cometric
val cograph_series : Type.cograph -> Type.cograph -> Type.cograph
val cometric_series : Type.cometric -> Type.cometric -> Type.cometric
val vtag_add : ?dual:bool -> Type.vtag -> Type.vtag -> Type.vtag
val vtag_parallel : Type.vtag -> Type.vtag -> Type.vtag
val vtag_series : Type.vtag -> Type.vtag -> Type.vtag
val hg_of_hgl : ?dual:bool -> Type.hgl -> Type.hg
val compute_twins : ?dual:bool -> Type.hg -> Type.hg
val normalize_rec : ?verbose:bool -> Type.hg -> Type.hg
val normalize : ?verbose:bool -> Type.hg -> Type.hg
val of_HFT : GGLA_HFT.Type.hg -> Type.hg
val of_GraphLA : ?ft:int list -> ?default_useful:bool -> GraphLA.graph -> Type.hg
val color_of_vertex : Type.vtag -> string
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
val of_FT : ?remove_useless:bool -> GGLA_FT.Type.hg -> Type.hg
val of_GraphKD : ?verbose:int -> ?remove_useless:bool -> GraphKD.graph -> Type.hg