[ < ] [ > ]   [ << ] [ 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 on October, 31 2007 using texi2html