PPL  1.2
Rational_Interval.hh File Reference
#include "Interval_defs.hh"
#include <gmpxx.h>
Include dependency graph for Rational_Interval.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  Parma_Polyhedra_Library::Rational_Interval_Info_Policy
 

Namespaces

 Parma_Polyhedra_Library
 The entire library is confined to this namespace.
 

Typedefs

typedef Interval_Info_Bitset< unsigned int, Rational_Interval_Info_Policy > Parma_Polyhedra_Library::Rational_Interval_Info
 
typedef Interval< mpq_class, Rational_Interval_Info > Parma_Polyhedra_Library::Rational_Interval
 An interval with rational, possibly open boundaries. More...