module GGLA = GraphGenLAmodule Type : sig ... endval vertex_fixed : Type.hv -> boolval vertex_useful : Type.hv -> boolmodule ToS : sig ... endmodule ToShiftS : sig ... endval empty : int -> Type.hgval set_edges : Type.hg -> int list -> (int * unit) list -> unitval set_biclique : Type.hg -> int list -> int list -> unitval of_edge_list :
?check:bool ->
?symetries:bool ->
?fixed:int list ->
int ->
(int * int) list ->
Type.hgval of_GraphKD : GraphKD.graph -> Type.hgtype remove_useless = {ru_graph : Type.hg;ru_useful : bool array;ru_access : int option array;ru_revers : int array;}val remove_useless : Type.hg -> remove_uselessval clique : int -> int list -> Type.hgval biclique : int -> int list -> int list -> Type.hgval color_of_vertex : Type.vtag -> stringval to_graphviz_vertex : 'a -> Type.vtag -> stringval to_graphviz_string : ?astree:bool -> ?name:string -> Type.hg -> stringval to_graphviz_file :
?astree:bool ->
?name:string ->
string ->
Type.hg ->
unit