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

Managers and Abstract Domains

APRON makes use of a global manager for:

In a multithreaded program, both managers and abstract values should not be shared between threads (make copies to transmit information).

Managers are allocated by the underlying libraries/abstract domains, but are freed via an APRON function.

Managers  
Box  
Oct  
NewPolka  
PPL  
pkgrid  



This document was generated on September, 10 2009 using texi2html