APRONXX 0.9.14
|
#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 | |
namespace | apron |