[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

This document was generated on October, 27 2006 using texi2html