QBF/mygraph.ml

   1 unset_jrh_lexer;;
   2
   3 module Intvertex = struct
   4   type t = int
   5   let compare : t -> t -> int = Pervasives.compare
   6   let hash = Hashtbl.hash
   7   let equal = (=)
   8   let default = 0
   9 end;;
  10
  11 module Gr = Graph.Imperative.Digraph.ConcreteBidirectional(Intvertex);;
  12
  13 module Topo = Graph.Topological.Make(Gr);;
  14
  15 let make_vertex var_index = Gr.V.create var_index;;
  16 let dest_vertex var_index = Gr.V.label var_index;;
  17
  18 set_jrh_lexer;;