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