PolkaIO

This module is a front-end to Polka and maintain a database about a set of declared variables and their rank. It is useful for an interactive use of Polka. See section Example of interactive use.

Function: initialize : bool -> string list -> int -> unit

initialize strict lnames maxrows
Initializes the library and sets up the correspondance between variables names and ranks. The relative order of variables in vectors respects the order of names in the parameter list.

initialize sets up among others the following values.

Variable: nbdims : int ref

Number of variables in database. All the objects created by this module will be of this dimension.

Function: in_assoc : string -> int

Function: out_assoc : int -> string

Association between variable names and ranks.

The following I/O functions makes use of the previous correspondance functions.

Function: vector_of_constraint : string -> Vector.t

Function: vector_of_frame : string -> Vector.t

Function: vector_of_expr : string -> Vector.t

Conversion from strings to vectors.

Function: matrix_of_lconstraints : string list -> Matrix.t

Function: matrix_of_lframes : string list -> Matrix.t

Conversion from list of strings to matrices.

Function: poly_of_lconstraint : string list -> Poly.t

Function: poly_of_lframe : string list -> Poly.t

Conversion from list of strings to polyhedra.

Function: vector_print_constraint : Format.formatter -> Vector.t -> unit

Function: vector_print_frame : Format.formatter -> Vector.t -> unit

Function: vector_print_expr : Format.formatter -> Vector.t -> unit

Function: matrix_print_constraints : Format.formatter -> Matrix.t -> unit

Function: matrix_print_frames : Format.formatter -> Matrix.t -> unit

Function: poly_print_constraint : Format.formatter -> Poly.t -> unit

Function: poly_print_frame : Format.formatter -> Poly.t -> unit

Function: poly_print : Format.formatter -> Poly.t -> unit

Printing functions.