TP 5 - Reduced product

The goal of this session is to implement in our analyzer the reduced products between two simple non-relational domains: the interval domain and the parity domain.

Parity domain

A first (straightforward) step is to implement a parity domain, able to discover whether each variable is even or odd.

Reduction

Implement the reduced product in a generic way, with as few dependencies as possible on the domains we wish to combine.

For that purpose, you are advised to implement a reductive operator reduce which, given two abstract elements, refines both of them using the information of the other.