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

__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