Module Numeric_reductionsSource

Sourcemodule Intervals_congruences : sig ... end

Reduction operator for intervals and congruences.

Reduction operator for intervals and excluded powerset

Sourcemodule Intervals_powerset : sig ... end

Reduction operator for intervals and powersets.

Sourcemodule Intervals_rel : sig ... end

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

Sourcemodule Numeric_eval : sig ... end

Reduction rule for numeric evaluations