package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

Module `Relational.Domain`

Relational numeric abstract domain, based on APRON.

val opt_show_relational_domain : bool ref

val opt_enforce_sign_constraints : bool ref

Query to retrieve relational variables

type MopsaLib.query +=

Factory functor

module Make (ApronManager : Apron_manager.APRONMANAGER) : sig ... end