/home/mine/apron/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
	apron

Functions
void	apron::swap (scalar &a, scalar &b)
std::ostream &	apron::operator<< (std::ostream &os, const scalar &s)
scalar::order	apron::cmp (const scalar &a, const scalar &b)
bool	apron::operator>= (const scalar &a, const scalar &b)
bool	apron::operator<= (const scalar &a, const scalar &b)
bool	apron::operator> (const scalar &a, const scalar &b)
bool	apron::operator< (const scalar &a, const scalar &b)
bool	apron::operator== (const scalar &a, const scalar &b)
bool	apron::operator!= (const scalar &a, const scalar &b)
scalar::order	apron::cmp (const scalar &a, int b)
bool	apron::operator>= (const scalar &a, int b)
bool	apron::operator<= (const scalar &a, int b)
bool	apron::operator> (const scalar &a, int b)
bool	apron::operator< (const scalar &a, int b)
bool	apron::operator== (const scalar &a, int b)
bool	apron::operator!= (const scalar &a, int b)
scalar::order	apron::cmp (int a, const scalar &b)
bool	apron::operator>= (int a, const scalar &b)
bool	apron::operator<= (int a, const scalar &b)
bool	apron::operator> (int a, const scalar &b)
bool	apron::operator< (int a, const scalar &b)
bool	apron::operator== (int a, const scalar &b)
bool	apron::operator!= (int a, const scalar &b)