Revision 8fa083d5 src/causality.ml
| src/causality.ml | ||
|---|---|---|
| 439 | 439 |
struct |
| 440 | 440 |
type t = var_decl |
| 441 | 441 |
let root_branch vdecl = Clocks.root vdecl.var_clock, Clocks.branch vdecl.var_clock |
| 442 |
let compare v1 v2 = compare (root_branch v2) (root_branch v1)
|
|
| 442 |
let compare v1 v2 = compare (root_branch v2, v2.var_id) (root_branch v1, v1.var_id)
|
|
| 443 | 443 |
end |
| 444 | 444 |
|
| 445 | 445 |
module CISet = Set.Make(ClockedIdentModule) |
Also available in: Unified diff