Manager factory for the Box interval-domain library. More...
#include <apxx_box.hh>
Inherits apron::manager.
Public Member Functions | |
| box_manager () | |
| Creates a new manager. More... | |
| manager & | operator= (const manager &) |
| Copy operator. More... | |
 Public Member Functions inherited from apron::manager | |
| void | raise (const char *msg, ap_abstract0_t *a=NULL) |
| Internal use only. Translates APRON exceptions to C++ ones. More... | |
| void | raise (const char *msg, ap_abstract1_t a) |
| Internal use only. Translates APRON exceptions to C++ ones. More... | |
| bool | exception_raised () |
| Internal use only. Whether APRON has raised an exception. More... | |
| manager (const manager &x) | |
| virtual | ~manager () |
| Decrements the reference counter and, when reaching 0, frees the manager. More... | |
| manager & | operator= (const manager &x) |
| Assignment (actually performs some reference counter management). More... | |
| std::string | get_library () const |
| Returns the name of the library the manager comes from. More... | |
| std::string | get_version () const |
| Returns the version name of the library the manager comes from. More... | |
| ap_funopt_t & | get_funopt (ap_funid_t funid) |
| Returns a (modifiable) reference to the options associated to some abstract function. More... | |
| ap_scalar_discr_t & | get_scalar_discr () |
| Returns a (modifiable) reference to the user's preferred scalar type. More... | |
| bool | get_flag_exact () |
| Returns the 'is exact' flag associated to the last computed abstract function. More... | |
| bool | get_flag_best () |
| Returns the 'is best' flag associated to the last computed abstract function. More... | |
| ap_manager_t * | get_ap_manager_t () |
| Returns a pointer to the internal APRON object stored in *this. More... | |
| const ap_manager_t * | get_ap_manager_t () const |
| Public Member Functions inherited from apron::use_malloc | |
| void * | operator new (size_t sz) |
| void * | operator new[] (size_t sz) |
| void | operator delete (void *p) |
| void | operator delete[] (void *p) |
Additional Inherited Members | |
| Static Public Member Functions inherited from apron::manager | |
| static void | raise (ap_manager_t *m, const char *msg, ap_abstract0_t *a=NULL) |
| Internal use only. Translates APRON exceptions to C++ ones. More... | |
| static void | raise (ap_manager_t *m, const char *msg, ap_abstract1_t a) |
| Internal use only. Translates APRON exceptions to C++ ones. More... | |
| static void | fpu_init () |
| Sets the FPU rounding-mode towards +oo. More... | |
| Protected Member Functions inherited from apron::manager | |
| manager (ap_manager_t *m) | |
| Internal use only (by subclasses). Initialise from a ap_manager_t* and take ownership (no copy). More... | |
| Protected Attributes inherited from apron::manager | |
| ap_manager_t * | m |
| Pointer managed by APRON. More... | |
Detailed Description
Manager factory for the Box interval-domain library.
Constructor & Destructor Documentation
◆ box_manager()
|
inline |
Creates a new manager.
Member Function Documentation
◆ operator=()
The documentation for this class was generated from the following files:
- /home/mine/apron/apronxx/apxx_box.hh
- /home/mine/apron/apronxx/apxx_box_inline.hh
