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

Itv (`itv.h'): intervals abstract domain

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

It is a beta version, and may still contain important bugs.

Use of Itv  
Allocating Itv managers  



This document was generated on December, 22 2006 using texi2html