package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module GGLA = GraphGenLA
module Type : sig ... end
val vertex_fixed : Type.hv -> bool
val vertex_useful : Type.hv -> bool
module ToS : sig ... end
module ToShiftS : sig ... end
val empty : int -> Type.hg
val set_edges : Type.hg -> int list -> (int * unit) list -> unit
val set_biclique : Type.hg -> int list -> int list -> unit
val of_edge_list : ?check:bool -> ?symetries:bool -> ?fixed:int list -> int -> (int * int) list -> Type.hg
val of_GraphKD : GraphKD.graph -> Type.hg
type remove_useless = {
  1. ru_graph : Type.hg;
  2. ru_useful : bool array;
  3. ru_access : int option array;
  4. ru_revers : int array;
}
val remove_useless : Type.hg -> remove_useless
val union : Type.hg -> Type.hg -> Type.hg
val clique : int -> int list -> Type.hg
val biclique : int -> int list -> int list -> Type.hg
val hyperedge : Type.hg -> Type.hg -> Type.hg
type alt =
  1. | Clique of int list
  2. | Union of alt list
  3. | HyperEdge of alt list
val flatten_alt : int -> alt -> 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