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

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`

).

This document was generated on