Module Single_value_abstraction.Product

Combine single value abstraction using (reduced) products

Create a product abstraction, using the given reduction function

Product of Interval and Sentinel abstractions

Product of Known_bits and Sentinel abstractions

Product of Interval, Known_bits and Sentinel abstractions