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