/home/mine/apron/apronxx/apxx_interval.hh File Reference

#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
	apron

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