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

Closure operation on OCaml polyhedra

Function: closure : t -> t
Function: closure_lazy : t -> t
Same as C functions



This document was generated on October, 27 2006 using texi2html