Frama-C API - Matrix
val of_dims : int option list -> t
val pretty : Stdlib.Format.formatter -> t -> unit
val pp_suffix_id : Stdlib.Format.formatter -> t -> unit
type env = {
size_var : Lang.F.var list;
(*size variables
*)size_val : Lang.F.term list;
(*size values
*)index_var : Lang.F.var list;
(*index variables
*)index_val : Lang.F.term list;
(*index values
*)index_range : Lang.F.pred list;
(*indices are in range of size variables
*)index_offset : Lang.F.term list;
(*polynomial of indices
*)length : Lang.F.term option;
(*number of cells (None is infinite)
*)
}
val cc_tau : Lang.F.tau -> t -> Lang.F.tau
Type of matrix
val cc_dims : int option list -> Lang.F.term list
Value of size variables