Revision 8fa083d5
| 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) |
| src/typing.ml | ||
|---|---|---|
| 138 | 138 |
(* Equality on ground types only *) |
| 139 | 139 |
(* Should be used between local variables which must have a ground type *) |
| 140 | 140 |
let rec eq_ground t1 t2 = |
| 141 |
let t1 = repr t1 in |
|
| 142 |
let t2 = repr t2 in |
|
| 143 |
t1==t2 || |
|
| 141 | 144 |
match t1.tdesc, t2.tdesc with |
| 142 | 145 |
| Tint, Tint | Tbool, Tbool | Trat, Trat | Treal, Treal -> true |
| 143 | 146 |
| Tenum tl, Tenum tl' when tl == tl' -> true |
Also available in: Unified diff