GobApron (goblint.Goblint

include module type of struct include Apron end

module Interval = Apron.Interval

module Dim = Apron.Dim

module Lincons0 = Apron.Lincons0

module Generator0 = Apron.Generator0

module Texpr0 = Apron.Texpr0

module Tcons0 = Apron.Tcons0

module Manager = Apron.Manager

module Abstract0 = Apron.Abstract0

module Generator1 = Apron.Generator1

module Abstract1 = Apron.Abstract1

module Policy = Apron.Policy

module Disjunction = Apron.Disjunction

module Version = Apron.Version

module Apron_parser = Apron.Apron_parser

module Apron_lexer = Apron.Apron_lexer

module Parser = Apron.Parser

module Scalar : sig ... end

module Coeff : sig ... end

module Var : sig ... end

module Linexpr0 : sig ... end

module Linexpr1 : sig ... end

module Lincons1 : sig ... end

module Lincons1Set : sig ... end

module Texpr1 : sig ... end

module Tcons1 : sig ... end

module Environment : sig ... end

A few code elements for environment changes from functions as remove_vars etc. have been moved to sharedFunctions as they are needed in a similar way inside affineEqualityDomain. A module that includes various methods used by variable handling operations such as add_vars, remove_vars etc. in apronDomain and affineEqualityDomain.