Access functions for OCaml polyhedra

Function: dim : t -> int

Function: nbequations : t -> int

Function: nblines : t -> int

Function: nbconstraints : t -> int

Function: nbframes : t -> int

Same semantics as the corresponding C functions.

Function: constraints : t -> Matrix.t option

If the constraint matrix mat is available, return Some(mat), otherwise return None. There is no sharing of elements in memory. The constraints are not necessarily in a minimal form.

Function: frames : t -> Matrix.t option

Same as the previous function for generator matrix.