module Matrix:sig
..end
typedim =
int option
typematrix =
Ctypes.c_object * dim list
module MACHINE:Model.Key
with type t = matrix
module NATURAL:Model.Key
with type t = matrix
val of_array : Ctypes.arrayinfo -> matrix
val id : dim list -> string
unique w.r.t equal
val natural_id : Ctypes.c_object -> string
name for elements in NATURAL
val merge : dim list -> dim list -> dim list option
type
denv = {
|
size_var : |
(* | size variables | *) |
|
size_val : |
(* | size values | *) |
|
index_var : |
(* | index variables | *) |
|
index_val : |
(* | index values | *) |
|
index_range : |
(* | indices are in range of size variables | *) |
|
index_offset : |
(* | polynomial of indices | *) |
|
monotonic : |
(* | all dimensions are defined | *) |
val denv : dim list -> denv
val size : matrix -> Lang.F.term list
val tau : Ctypes.c_object -> dim list -> Lang.F.tau