Input & Output of OCaml polyhedra

This functions use the pretty input/output facilities described in module Polka.

Function: print_constraints : Format.formatter -> t -> unit

Print `"empty"' if the polyhedron is empty, the constraints of the polyhedron if they are available, `"constraints not available"' otherwise.

Function: print_frames : Format.formatter -> t -> unit

Print `"empty"' if the polyhedron is empty, the generators of the polyhedron if they are available, `"generators not available"' otherwise.

Function: print : Format.formatter -> -> t -> unit

Combine the two previous functions.

Function: of_lconstraints : string list -> t

Function: of_lframes : string list -> t

Construct a polyhedron respectively from a list of constraint and from a list of generators (see the same functions in module Matrix).