Module Numeric.Reductions

module Intervals_congruences : sig ... end

Reduction operator for intervals and congruences.

module Intervals_excluded_powerset : sig ... end

Reduction operator for intervals and excluded powerset

module Intervals_powerset : sig ... end

Reduction operator for intervals and powersets.

module Intervals_rel : sig ... end

Reduction operator for computing the most precise interval in a post-condition and inform the intervals domain about it.

module Numeric_eval : sig ... end

Reduction rule for numeric evaluations