Project

General

Profile

Revision 812c0369 src/causality.ml

View differences:

src/causality.ml
526 526
    IdentDepGraph.iter_edges (fun s t -> IdentDepGraph.add_edge g1 s t) g2
527 527
  end
528 528

  
529
let world = "!!_world"
530

  
529 531
let add_external_dependency outputs mems g =
530
  let caller ="!!_world" in
531 532
  begin
532
    IdentDepGraph.add_vertex g caller;
533
    ISet.iter (fun o -> IdentDepGraph.add_edge g caller o) outputs;
534
    ISet.iter (fun m -> IdentDepGraph.add_edge g caller m) mems;
533
    IdentDepGraph.add_vertex g world;
534
    ISet.iter (fun o -> IdentDepGraph.add_edge g world o) outputs;
535
    ISet.iter (fun m -> IdentDepGraph.add_edge g world m) mems;
535 536
  end
536 537

  
537 538
let global_dependency node =

Also available in: Unified diff