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

Widening operators on OCaml polyhedra

These two operations are parametrized by the widening mode, see Widening mode.

Function: widening : t -> t -> t
Function: limited_widening : t -> t -> Matrix.t -> t
Same as C functions



This document was generated on October, 27 2006 using texi2html