package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

Module `Combiner.Simplified`

Extended domains signatures used by combiners

module type SIMPLIFIED_COMBINER = sig ... end

module SimplifiedToCombiner
  (D : Sig.Abstraction.Simplified.SIMPLIFIED) : 
  SIMPLIFIED_COMBINER with type t = D.t

module CombinerToSimplified
  (T : SIMPLIFIED_COMBINER) : 
  Sig.Abstraction.Simplified.SIMPLIFIED with type t = T.t

module SimplifiedToStandard
  (D : SIMPLIFIED_COMBINER) : 
  Domain.DOMAIN_COMBINER with type t = D.t