Revision 812c0369 src/causality.ml
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