package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = {
  1. vertex_which : int array;
  2. which_vertex : int list array;
}
type (!'v, !'e) qt = {
  1. component : t;
  2. qgraph : ('v list, 'e list) Type.graph;
}
module ToS : sig ... end
val debug : bool Stdlib.ref
val check_vertex_root : int array -> bool
val check_vertex_which : int array -> bool
val compute : int array -> t
val internal_quotient : ('v, 'e) Type.graph -> int -> int array -> ('v list, 'e list) Type.graph
val quotient : ('v, 'e) Type.graph -> int array -> ('v, 'e) qt