APRONXX 0.9.14
/builddir/build/BUILD/apron-0.9.15-build/apron-0.9.15/apronxx/apxx_scalar.hh File Reference
#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