Comment reversal of PartitionDomain.SetSet

goblint · Dec 10, 2024 · 87ce3a5 · 87ce3a5
1 parent c24821f
commit 87ce3a5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/domain/partitionDomain.ml b/src/domain/partitionDomain.ml
@@ -106,6 +106,9 @@ struct
 
   let show _ = "Partitions"
 
+  (* Top and bottom are reversed:
+     Bottom will be All (equations), i.e. contradiction,
+     Top will be empty set, i.e. no equations. *)
   let top = E.bot
   let bot = E.top
   let is_top = E.is_bot