PPL  1.2
Integer_Interval.hh File Reference
#include "Interval_defs.hh"
#include <gmpxx.h>
Include dependency graph for Integer_Interval.hh:

Go to the source code of this file.

Classes

struct  Parma_Polyhedra_Library::Integer_Interval_Info_Policy
 

Namespaces

 Parma_Polyhedra_Library
 The entire library is confined to this namespace.
 

Typedefs

typedef Interval_Info_Bitset< unsigned int, Integer_Interval_Info_Policy > Parma_Polyhedra_Library::Integer_Interval_Info
 
typedef Interval< mpz_class, Integer_Interval_Info > Parma_Polyhedra_Library::Integer_Interval
 An interval with integral, necessarily closed boundaries. More...