end_spending ();
rc,already_contained
+(* profiling code
let profiler_eq = HExtlib.profile "CicUniv.add_eq"
let profiler_ge = HExtlib.profile "CicUniv.add_ge"
let profiler_gt = HExtlib.profile "CicUniv.add_gt"
profiler_ge.HExtlib.profile (fun _ -> add_ge ?fast u v b) ()
let add_eq ?fast u v b =
profiler_eq.HExtlib.profile (fun _ -> add_eq ?fast u v b) ()
+*)
(*****************************************************************************)
(** END: Decomment this for performance comparisons **)
fst (merge_brutal increment base_ugraph),
UriManager.UriSet.add uri_of_increment already_contained
-let profiler_merge = HExtlib.profile "CicUniv.merge_graphs"
+(* profiling code; WARNING: the time spent during profiling can be
+ greater than the profiled time
+let profiler_merge = HExtlib.profile "CicUniv.merge_ugraphs"
let merge_ugraphs ~base_ugraph ~increment =
profiler_merge.HExtlib.profile
(fun _ -> merge_ugraphs ~base_ugraph ~increment) ()
+*)
(*****************************************************************************)
(** Xml sesialization and parsing **)