Next: NewPolka (pk.h): convex polyhedra and linear equalities abstract domains, Previous: Box (box.h): intervals abstract domain, Up: Managers and Abstract Domains
oct_doc.html