16 #ifndef __APXX_MANAGER_HH 17 #define __APXX_MANAGER_HH 21 #include "ap_manager.h" 22 #include "ap_abstract0.h" 23 #include "ap_abstract1.h" 88 timeout(
const std::string&
x) : logic_error(x) {}
152 static void raise(ap_manager_t* m,
const char* msg, ap_abstract0_t* a = NULL);
155 static void raise(ap_manager_t* m,
const char* msg, ap_abstract1_t a);
158 void raise(
const char* msg, ap_abstract0_t* a = NULL);
161 void raise(
const char* msg, ap_abstract1_t a);
164 bool exception_raised();
206 std::string get_library()
const;
209 std::string get_version()
const;
215 ap_funopt_t& get_funopt(ap_funid_t funid);
221 ap_scalar_discr_t& get_scalar_discr();
224 bool get_flag_exact();
227 bool get_flag_best();
246 static void fpu_init();
268 const ap_manager_t* get_ap_manager_t()
const;
tbool(bool a)
Converts true to tbool_true and false to tbool_false.
Definition: apxx_manager.hh:24
Definition: apxx_abstract0.hh:27
not_implemented(const std::string &x)
Definition: apxx_manager.hh:97
Exception raised when a function is not implemented.
Definition: apxx_manager.hh:93
timeout(const std::string &x)
Definition: apxx_manager.hh:88
ap_manager_t * get_ap_manager_t()
Returns a pointer to the internal APRON object stored in *this.
Definition: apxx_manager.hh:207
tbool_t x
Either tbool_false, tbool_true, or tbool_top.
Definition: apxx_manager.hh:48
friend tbool operator!(tbool a)
3-valued logical not.
Definition: apxx_manager.hh:52
Level 0 abstract value (ap_abstract0_t* wrapper).
Definition: apxx_abstract0.hh:78
Library manager (ap_manager_t wrapper).
Definition: apxx_manager.hh:137
friend tbool operator&&(tbool a, tbool b)
3-valued logical and.
Definition: apxx_manager.hh:47
ap_manager_t * m
Pointer managed by APRON.
Definition: apxx_manager.hh:141
friend tbool operator||(tbool a, tbool b)
3-valued logical or.
Definition: apxx_manager.hh:42
friend std::ostream & operator<<(std::ostream &os, tbool x)
Printing.
Definition: apxx_manager.hh:57
Level 1 abstract value (ap_abstract1_t wrapper).
Definition: apxx_abstract1.hh:42
Inherited by most wrappers to map new and delete to malloc and free.
Definition: apxx_scalar.hh:69
3-valued boolean (tbool_t wrapper).
Definition: apxx_manager.hh:44
Exception raised when a timeout occurs.
Definition: apxx_manager.hh:84