|
APRONXX 0.9.12
|
#include <stdlib.h>#include <iostream>#include "ap_scalar.h"#include "gmpxx.h"#include "apxx_scalar_inline.hh"Go to the source code of this file.
Classes | |
| struct | apron::infty |
| Either +oo or -oo, to simplify initialisations and assignments. More... | |
| struct | apron::frac |
| A fraction with native int coefficients, to simplify initialisations and assignments. More... | |
| class | apron::bad_discriminant |
| Exception raised when an operation is incompatible with a discriminant. More... | |
| struct | apron::use_malloc |
| Inherited by most wrappers to map new and delete to malloc and free. More... | |
| class | apron::scalar |
| Scalar (ap_scalar_t wrapper). More... | |
Namespaces | |
| namespace | apron |