Interval.defs.hh File Reference

#include "Interval.types.hh"
#include "Coefficient.defs.hh"
#include "Checked_Number.defs.hh"
#include <gmpxx.h>
#include <iosfwd>
#include "Interval.inlines.hh"

Include dependency graph for Interval.defs.hh:

This graph shows which files directly or indirectly include this file:

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 Documentation

#define PPL_Interval_defs_hh   1

Definition at line 24 of file Interval.defs.hh.


Generated on Wed Jul 16 22:55:06 2008 for PPL by  doxygen 1.5.6