#include "Widening_Function.types.hh"#include "Constraint_System.types.hh"#include "assert.hh"

Go to the source code of this file.
Classes | |
| class | Parma_Polyhedra_Library::Widening_Function< PSET > |
| Wraps a widening method into a function object. More... | |
| class | Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS > |
| Wraps a limited widening method into a function object. More... | |
Namespaces | |
| namespace | Parma_Polyhedra_Library |
The entire library is confined to this namespace. | |
1.6.3