APRONXX 0.9.14
/builddir/build/BUILD/apron-0.9.15-build/apron-0.9.15/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

namespace  apron