Add comment on IntervalSets elements

See discussion: goblint#966 (comment)
BilelGho · Jan 23, 2023 · 0476a9c · 0476a9c
1 parent 323803d
commit 0476a9c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/cdomains/intDomain.ml b/src/cdomains/intDomain.ml
@@ -930,6 +930,10 @@ struct
 
   type int_t = Ints_t.t
 
+  (* 
+    Each domain's element is guaranteed to be in canonical form. That is, each interval contained
+    inside the set does not overlap with each other and they are not adjecent. 
+  *)
   type t = (Ints_t.t * Ints_t.t) list [@@deriving eq, hash, ord]
 
   let range ik = BatTuple.Tuple2.mapn Ints_t.of_bigint (Size.range ik)