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

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).



This document was generated on October, 27 2006 using texi2html