Input & Output of OCaml matrices

This functions use the pretty input/output facilities described in module Vector. See section Vector, for more details.

Function: print_constraints : (int -> string) -> Format.formatter -> t -> unit

Function: print_frames : (int -> string) -> Format.formatter -> t -> unit

Pretty-print on the given formatter the matrix considered as respectively as a constraint or as a generator matrix.

Function: of_lconstraints : (string -> int) -> int -> string list -> t

Function: of_lframes : (string -> int) -> int -> string list -> t

Make a matrix from respectively a list of constraints or a list of generators, each string being parsed as does Vector.of_constraint or Vector.of_frame.