package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type graph = {
  1. nodes : int list;
  2. cliques : int list list;
}
module ToS : sig ... end
val print_graph : graph -> unit
val check : graph -> bool
val reduce : graph -> graph
val voisins : graph -> int list -> int list
val voisins_strict : graph -> int list -> int list
val internal_to_GraphLA : int -> int list list -> int list array
val to_GraphLA : graph -> GraphLA.graph