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

#include <string>
#include "ap_manager.h"
#include "ap_abstract0.h"
#include "ap_abstract1.h"
#include "apxx_lincons0.hh"
#include "apxx_tcons0.hh"
#include "apxx_generator0.hh"
#include "box.h"
#include "pk.h"
#include "oct.h"
#include "apxx_manager_inline.hh"

Go to the source code of this file.

Classes
struct	apron::tbool
	3-valued boolean (tbool_t wrapper). More...
class	apron::timeout
	Exception raised when a timeout occurs. More...
class	apron::not_implemented
	Exception raised when a function is not implemented. More...
class	apron::manager
	Library manager (ap_manager_t wrapper). More...

Namespaces
	apron

Functions
tbool	apron::operator|| (tbool a, tbool b)
tbool	apron::operator && (tbool a, tbool b)
tbool	apron::operator! (tbool a)
std::ostream &	apron::operator<< (std::ostream &os, tbool x)
std::ostream &	apron::operator<< (std::ostream &os, const manager &s)