#include "Interval.types.hh"
#include "Coefficient.defs.hh"
#include "Checked_Number.defs.hh"
#include <gmpxx.h>
#include <iosfwd>
#include "Interval.inlines.hh"
Go to the source code of this file.
Namespaces | |
namespace | Parma_Polyhedra_Library |
Classes | |
class | Parma_Polyhedra_Library::Boundary |
An extended rational bound of an interval. More... | |
class | Parma_Polyhedra_Library::LBoundary |
The lower bound of an extended rational interval. More... | |
class | Parma_Polyhedra_Library::UBoundary |
The upper bound of an extended rational interval. More... | |
class | Parma_Polyhedra_Library::Interval |
A interval over the set of rational numbers. More... | |
Defines | |
#define | PPL_Interval_defs_hh 1 |
Typedefs | |
typedef Checked_Number < mpq_class, Extended_Number_Policy > | Parma_Polyhedra_Library::ERational |
#define PPL_Interval_defs_hh 1 |
Definition at line 24 of file Interval.defs.hh.