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