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

Box (`box.h'): intervals abstract domain

The BOX interval library is aimed to be used through the APRON interface.

Use of Box  
Allocating Box managers  



This document was generated by Bertrand Jeannet on December, 22 2009 using texi2html