apron::polka_manager Class Reference

Manager factory for the NewPolka polyhedra library. More...

#include <apxx_polka.hh>

Inherits apron::manager.

Public Member Functions
	polka_manager (bool strict=false)
	Creates a new manager.
manager &	operator= (const manager &)
	Copy operator.
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.
void	raise (const char *msg, ap_abstract1_t a)
	Internal use only. Translates APRON exceptions to C++ ones.
bool	exception_raised ()
	Internal use only. Whether APRON has raised an exception.
	manager (const manager &x)
virtual	~manager ()
	Decrements the reference counter and, when reaching 0, frees the manager.
manager &	operator= (const manager &x)
	Assignment (actually performs some reference counter management).
std::string	get_library () const
	Returns the name of the library the manager comes from.
std::string	get_version () const
	Returns the version name of the library the manager comes from.
ap_funopt_t &	get_funopt (ap_funid_t funid)
	Returns a (modifiable) reference to the options associated to some abstract function.
ap_scalar_discr_t &	get_scalar_discr ()
	Returns a (modifiable) reference to the user's preferred scalar type.
bool	get_flag_exact ()
	Returns the 'is exact' flag associated to the last computed abstract function.
bool	get_flag_best ()
	Returns the 'is best' flag associated to the last computed abstract function.
ap_manager_t *	get_ap_manager_t ()
	Returns a pointer to the internal APRON object stored in *this.
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.
static void	raise (ap_manager_t *m, const char *msg, ap_abstract1_t a)
	Internal use only. Translates APRON exceptions to C++ ones.
static void	fpu_init ()
	Sets the FPU rounding-mode towards +oo.
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).
Protected Attributes inherited from apron::manager
ap_manager_t *	m
	Pointer managed by APRON.

Detailed Description

Manager factory for the NewPolka polyhedra library.

Constructor & Destructor Documentation

polka_manager()

polka_manager::polka_manager ( bool strict = false )

inline

Creates a new manager.

• strict whether to allow strict inequalities as well as non-strict inequalities.

Note that abstract values created with strict and non-strict managers are not compatible.

Member Function Documentation

operator=()

manager & polka_manager::operator= ( const manager & m )

inline

Copy operator.

---

The documentation for this class was generated from the following files:

• /home/mine/apron/apronxx/apxx_polka.hh
• /home/mine/apron/apronxx/apxx_polka_inline.hh