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

Closure operation

Function: poly_t* poly_closure (const poly_t* poly)
Function: poly_t* poly_closure_lazy (const poly_t* poly)
If polka_strict is true, these functions compute the closure (in the topological sense) of the argument polyhedron, i.e., the smallest polyhedron with loose constraints only containing the argument. If polka_strict is false, they return a copy of the argument polyhedron. The parameter polyhedron may be minimized.

The two functions differ by their strict/lazy implementation.

This document was generated on October, 27 2006 using texi2html