Module MatrixSource

Sourcetype t
Sourceand equation = {
  1. var : int;
  2. expr : Vector.t;
}
Sourceval dummy : t
Sourceval make : int -> int -> t
Sourceval copy : t -> t
Sourceval _print : t -> unit
Sourceval compare : t -> t -> int
Sourceval hash : t -> int
Sourceval compare_sort : t -> t -> int
Sourceval hash_sort : t -> int
Sourceval get : t -> int -> int -> int
Sourceval get_str10 : t -> int -> int -> string
Sourceval set : t -> int -> int -> int -> unit
Sourceval set_str10 : t -> int -> int -> string -> unit
Sourceval get_row : t -> int -> Vector.t
Sourceval set_row : t -> int -> Vector.t -> unit
Sourceval nbrows : t -> int
Sourceval nbcolumns : t -> int
Sourceval sort_rows : t -> unit
Sourceval merge_sort : t -> t -> t
Sourceval assign_variable : t -> int -> Vector.t -> t
Sourceval substitute_variable : t -> int -> Vector.t -> t
Sourceval assign_variables : t -> equation array -> t
Sourceval substitute_variables : t -> equation array -> t
Sourceval add_dims : t -> int -> t
Sourceval add_dims_multi : t -> Vector.dimsup array -> t
Sourceval del_dims_multi : t -> Vector.dimsup array -> t
Sourceval add_permute_dims : t -> int -> int array -> t
Sourceval permute_del_dims : t -> int -> int array -> t
Sourceval is_row_dummy_constraint : t -> int -> bool
Sourceval get_big_int : t -> int -> int -> Big_int.big_int
Sourceval set_big_int : t -> int -> int -> Big_int.big_int -> unit
Sourceval print : Format.formatter -> t -> unit
Sourceval print_constraints : (int -> string) -> Format.formatter -> t -> unit
Sourceval print_frames : (int -> string) -> Format.formatter -> t -> unit
Sourceval of_lconstraints : (string -> int) -> int -> string list -> t
Sourceval of_lframes : (string -> int) -> int -> string list -> t