let string_of_vertex vertex = match G.V.label vertex with |PkgV.Pkg p -> Printf.sprintf "Pkg %s" (CudfAdd.string_of_package p) |PkgV.Or (p, _) -> Printf.sprintf "Or %s" (CudfAdd.string_of_package p)