Implement lattice interface for strided intervals
Closed this issue · 1 comments
gottfriedsen commented
Top, bottom, least upper bound and less or equal need to be implemented for strided intervals.
gottfriedsen commented
We also need an abstraction function mapping a set of APInts to a strided interval.