Up – Index » goblint » Goblint_lib » GobApron » EnvironmentModule GobApron.Environment
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.
type typvar = Apron .Environment.typvar =
| INT
| REAL
and t = Apron .Environment.t
val make : Apron .Var.t array -> Apron .Var.t array -> t
val add : t -> Apron .Var.t array -> Apron .Var.t array -> t
val remove : t -> Apron .Var.t array -> t
val rename : t -> Apron .Var.t array -> Apron .Var.t array -> t
val rename_perm :
t ->
Apron .Var.t array ->
Apron .Var.t array ->
t * Apron .Dim.perm
val lce_change :
t ->
t ->
t * Apron .Dim.change option * Apron .Dim.change option
val dimchange : t -> t -> Apron .Dim.change
val dimchange2 : t -> t -> Apron .Dim.change2
val equal : t -> t -> bool
val dimension : t -> Apron .Dim.dimension
val mem_var : t -> Apron .Var.t -> bool
val typ_of_var : t -> Apron .Var.t -> typvar
val vars : t -> Apron .Var.t array * Apron .Var.t array
val var_of_dim : t -> Apron .Dim.t -> Apron .Var.t
val dim_of_var : t -> Apron .Var.t -> Apron .Dim.t
val print :
?first :(unit, Stdlib .Format.formatter, unit) Stdlib .format ->
?sep :(unit, Stdlib .Format.formatter, unit) Stdlib .format ->
?last :(unit, Stdlib .Format.formatter, unit) Stdlib .format ->
Stdlib .Format.formatter ->
t ->
unit
val pp :
Batteries .Format.formatter ->
{Environment}4/shadowed/(308e46257f522a77964c23102fd32ea7) .t ->
unit
include sig ... end
val pretty : unit -> t -> Printable .Pretty.doc
val printXml : 'a BatInnerIO .output -> t -> unit
val to_yojson : t -> [> `String of string ]
val compare : t -> t -> int
val ivars_only :
{Environment}4/shadowed/(308e46257f522a77964c23102fd32ea7) .t ->
Apron .Var.t list
val add_vars :
{Environment}4/shadowed/(308e46257f522a77964c23102fd32ea7) .t ->
Apron .Var.t list ->
{Environment}4/shadowed/(308e46257f522a77964c23102fd32ea7) .t
val remove_vars :
{Environment}4/shadowed/(308e46257f522a77964c23102fd32ea7) .t ->
Apron .Var.t list ->
{Environment}4/shadowed/(308e46257f522a77964c23102fd32ea7) .t
val remove_filter :
{Environment}4/shadowed/(308e46257f522a77964c23102fd32ea7) .t ->
(Apron .Var.t -> bool) ->
{Environment}4/shadowed/(308e46257f522a77964c23102fd32ea7) .t
val keep_vars :
{Environment}4/shadowed/(308e46257f522a77964c23102fd32ea7) .t ->
Apron .Var.t list ->
{Environment}4/shadowed/(308e46257f522a77964c23102fd32ea7) .t
val keep_filter :
{Environment}4/shadowed/(308e46257f522a77964c23102fd32ea7) .t ->
(Apron .Var.t -> bool) ->
{Environment}4/shadowed/(308e46257f522a77964c23102fd32ea7) .t