Refactoring `Enum_rel` using domains on class representatives only - #1078

Merged

Halbaroth merged 15 commits into

OCamlPro:nextfrom

Halbaroth:enum-rel-domains

Apr 4, 2024

Commits on Apr 4, 2024

Refactoring `Enum_rel` using domains on class representatives only
Halbaroth
committed
c13135f
Use stubs for `fold_leaves` and `map_leaves`
Halbaroth
committed
6057022
Move the comment
Halbaroth
committed
5707aab
Add `as_singleton` in `Domain`
Halbaroth
committed
d9ad40b
Rename `case_split_limit` to `can_split`
Halbaroth
committed
02b8645
Inline the function SimpleDomains in `Enum_rel`
Halbaroth
committed
2c27bcc
Fix comment about the `unknown` function of `Domain`
Halbaroth
committed
1e0deb7
Revert the modification of `unknown` in `Rel_utils`
Halbaroth
committed
2b0e898
Preserve default domain during updates
Halbaroth
committed
1a70ddf
Rename `unknown` into `default`
Halbaroth
committed
e0a1c8f
Improve efficency of `get` and `add`
Halbaroth
committed
2e0a16c
No intersection in `update`
Halbaroth
committed
03c5af7
Restore bitv_rel and rel_utils
Halbaroth
committed
9e1aed0
Add comments
Halbaroth
committed
0a22844
Review changes
Halbaroth
committed
de7645e