let intcudf universe intgraph =
let module PG = PackageGraph.G in
let module SG = IntPkgGraph.G in
let trasformtimer = Util.Timer.create "Defaultgraphs.intcudf" in
Util.Timer.start trasformtimer;
let size = 25000 in
let cudfgraph = PG.create ~size () in
SG.iter_edges (fun x y ->
let p = CudfAdd.inttovar universe x in
let q = CudfAdd.inttovar universe y in
PG.add_edge cudfgraph p q
) intgraph ;
SG.iter_vertex (fun v ->
let p = CudfAdd.inttovar universe v in
PG.add_vertex cudfgraph p
) intgraph ;
debug "cudfgraph: nodes %d , edges %d"
(PG.nb_vertex cudfgraph) (PG.nb_edges cudfgraph);
Util.Timer.stop trasformtimer cudfgraph