Manager factory for reduced product domain of NewPolka polyhedra and PPL grids. More...
#include <apxx_ppl_product.hh>
Inherits apron::manager.
Public Member Functions | |
| pkgrid_manager (const polka_manager &manpk, const ppl_grid_manager &manpplgrid) | |
| Creates a new manager. More... | |
| pkgrid_manager (bool strict=false) | |
| 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 reduced product domain of NewPolka polyhedra and PPL grids.
Constructor & Destructor Documentation
◆ pkgrid_manager() [1/2]
|
inline |
Creates a new manager.
manpkshould be a manager for (loose or strict) polyhedramanpplgridshould be a manager for PPL grids
The argument managers are copied into the new manager.
◆ pkgrid_manager() [2/2]
|
inline |
Creates a new manager.
strictwhether to allow strict inequalities as well as non-strict inequalities in polyhedra.
Note that abstract values created with strict and non-strict managers are not compatible.
Member Function Documentation
◆ operator=()
The documentation for this class was generated from the following files:
- /home/mine/apron/apronxx/apxx_ppl_product.hh
- /home/mine/apron/apronxx/apxx_ppl_product_inline.hh
