apron::pkgrid_manager Member List

This is the complete list of members for apron::pkgrid_manager, including all inherited members.

exception_raised()	apron::manager	inline
fpu_init()	apron::manager	inlinestatic
get_ap_manager_t()	apron::manager	inline
get_ap_manager_t() const	apron::manager	inline
get_flag_best()	apron::manager	inline
get_flag_exact()	apron::manager	inline
get_funopt(ap_funid_t funid)	apron::manager	inline
get_library() const	apron::manager	inline
get_scalar_discr()	apron::manager	inline
get_version() const	apron::manager	inline
m	apron::manager	protected
manager(ap_manager_t *m)	apron::manager	inlineprotected
manager(const manager &x)	apron::manager	inline
operator delete(void *p)	apron::use_malloc	inline
operator delete[](void *p)	apron::use_malloc	inline
operator new(size_t sz)	apron::use_malloc	inline
operator new[](size_t sz)	apron::use_malloc	inline
operator=(const manager &)	apron::pkgrid_manager	inline
pkgrid_manager(const polka_manager &manpk, const ppl_grid_manager &manpplgrid)	apron::pkgrid_manager	inline
pkgrid_manager(bool strict=false)	apron::pkgrid_manager	inline
raise(ap_manager_t *m, const char *msg, ap_abstract0_t *a=NULL)	apron::manager	inlinestatic
raise(ap_manager_t *m, const char *msg, ap_abstract1_t a)	apron::manager	inlinestatic
raise(const char *msg, ap_abstract0_t *a=NULL)	apron::manager	inline
raise(const char *msg, ap_abstract1_t a)	apron::manager	inline
~manager()	apron::manager	inlinevirtual