APRONXX  0.9.12
Classes | Namespaces
/builddir/build/BUILD/apron-0.9.13/apronxx/apxx_interval.hh File Reference
#include <vector>
#include "ap_interval.h"
#include "apxx_scalar.hh"
#include "apxx_interval_inline.hh"

Go to the source code of this file.

Classes

struct  apron::top
 Full interval (]-oo,+oo[) or domain, to simplify initialisations and assignments. More...
 
struct  apron::bottom
 Empty interval or domain, to simplify initialisations and assignments. More...
 
class  apron::interval
 Interval (ap_interval_t wrapper). More...
 
class  apron::interval_array
 array of interval(s). More...
 

Namespaces

 apron