Frama-C:
Plug-ins:
Libraries:

Frama-C API - Environment

type typvar =
  1. | INT
  2. | REAL
and t
val make : Var.t array -> Var.t array -> t
val add : t -> Var.t array -> Var.t array -> t
val remove : t -> Var.t array -> t
val rename : t -> Var.t array -> Var.t array -> t
val rename_perm : t -> Var.t array -> Var.t array -> t * Dim.perm
val lce : t -> t -> t
val lce_change : t -> t -> t * Dim.change option * Dim.change option
val dimchange : t -> t -> Dim.change
val dimchange2 : t -> t -> Dim.change2
val equal : t -> t -> bool
val cmp : t -> t -> int
val hash : t -> int
val dimension : t -> Dim.dimension
val size : t -> int
val mem_var : t -> Var.t -> bool
val typ_of_var : t -> Var.t -> typvar
val vars : t -> Var.t array * Var.t array
val var_of_dim : t -> Dim.t -> Var.t
val dim_of_var : t -> Var.t -> 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