bddapron

Logico-numerical domain(s) based on BDDs and APRON
IN THIS PACKAGE
  • library bdd
  • library bddapron
Module Bdd
module Output : sig ... end
module Normalform : sig ... end
module Reg : sig ... end
module Env : sig ... end
module Int : sig ... end
module Enum : sig ... end
module Cond : sig ... end
module Decompose : sig ... end
module Expr0 : sig ... end
module Expr1 : sig ... end
module Domain0 : sig ... end
module Domain1 : sig ... end