#include "Widening_Function.types.hh"
#include "Constraint_System.types.hh"
#include "Widening_Function.inlines.hh"
Go to the source code of this file.
Namespaces | |
namespace | Parma_Polyhedra_Library |
Classes | |
class | Parma_Polyhedra_Library::Widening_Function< PH > |
Wraps a widening method into a function object. More... | |
class | Parma_Polyhedra_Library::Limited_Widening_Function< PH, CS > |
Wraps a limited widening method into a function object. More... | |
Defines | |
#define | PPL_Widening_Function_defs_hh 1 |
#define PPL_Widening_Function_defs_hh 1 |
Definition at line 24 of file Widening_Function.defs.hh.