package mopsa

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Numeric_reductions.Intervals_relSource

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

Sourcemodule Reduction : sig ... end
OCaml

Innovation. Community. Security.