APRONXX 0.9.12
apron::abstract0 Member List

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

aapron::abstract0protected
abstract0(ap_abstract0_t *x)apron::abstract0inlineprotected
abstract0(manager &m, size_t intdim, size_t realdim, top x)apron::abstract0inline
abstract0(manager &m, size_t intdim, size_t realdim, bottom x)apron::abstract0inline
abstract0(manager &m, const abstract0 &t)apron::abstract0inline
abstract0(manager &m, size_t intdim, size_t realdim, const interval_array &x)apron::abstract0inline
abstract0(manager &m, size_t intdim, size_t realdim, const lincons0_array &x)apron::abstract0inline
abstract0(manager &m, size_t intdim, size_t realdim, const tcons0_array &x)apron::abstract0inline
abstract0(const abstract0 &t)apron::abstract0inline
add_dimensions(manager &m, const dimchange &d, bool project=false)apron::abstract0inline
add_dimensionsapron::abstract0friend
add_rays(manager &m, const generator0_array &y)apron::abstract0inline
add_raysapron::abstract0friend
approximate(manager &m, int algorithm)apron::abstract0inline
assign(manager &m, ap_dim_t dim, const linexpr0 &l, const abstract0 &inter=null)apron::abstract0inline
assign(manager &m, size_t size, const ap_dim_t dim[], const linexpr0 *const l[], const abstract0 &inter=null)apron::abstract0inline
assign(manager &m, const std::vector< ap_dim_t > &dim, const std::vector< const linexpr0 * > &l, const abstract0 &inter=null)apron::abstract0inline
assignapron::abstract0friend
assignapron::abstract0friend
assignapron::abstract0friend
assign(manager &m, ap_dim_t dim, const texpr0 &l, const abstract0 &inter=null)apron::abstract0inline
assign(manager &m, size_t size, const ap_dim_t dim[], const texpr0 *const l[], const abstract0 &inter=null)apron::abstract0inline
assign(manager &m, const std::vector< ap_dim_t > &dim, const std::vector< const texpr0 * > &l, const abstract0 &inter=null)apron::abstract0inline
assignapron::abstract0friend
assignapron::abstract0friend
assignapron::abstract0friend
bound(manager &m, const linexpr0 &l) constapron::abstract0inline
bound(manager &m, const texpr0 &l) constapron::abstract0inline
bound(manager &m, ap_dim_t d) constapron::abstract0inline
canonicalize(manager &m)apron::abstract0inline
closure(manager &m)apron::abstract0inline
closureapron::abstract0friend
deserializeapron::abstract0friend
dump(manager &m, FILE *stream=stdout) constapron::abstract0inline
expand(manager &m, ap_dim_t dim, size_t n=1)apron::abstract0inline
expandapron::abstract0friend
fold(manager &m, size_t size, const ap_dim_t dim[])apron::abstract0inline
fold(manager &m, const std::vector< ap_dim_t > &dim)apron::abstract0inline
foldapron::abstract0friend
foldapron::abstract0friend
forget(manager &m, ap_dim_t dim, bool project=false)apron::abstract0inline
forget(manager &m, size_t size, const ap_dim_t dim[], bool project=false)apron::abstract0inline
forget(manager &m, const std::vector< ap_dim_t > dim, bool project=false)apron::abstract0inline
forgetapron::abstract0friend
forgetapron::abstract0friend
forgetapron::abstract0friend
free(manager &m)apron::abstract0inline
get_ap_abstract0_t()apron::abstract0inline
get_ap_abstract0_t() constapron::abstract0inline
get_dimension(manager &m) constapron::abstract0inline
get_manager() constapron::abstract0inline
is_bottom(manager &m) constapron::abstract0inline
is_dimension_unconstrained(manager &m, ap_dim_t dim) constapron::abstract0inline
is_eq(manager &m, const abstract0 &x) constapron::abstract0inline
is_leq(manager &m, const abstract0 &x) constapron::abstract0inline
is_top(manager &m) constapron::abstract0inline
join(manager &m, const abstract0 &y)apron::abstract0inline
joinapron::abstract0friend
joinapron::abstract0friend
joinapron::abstract0friend
meet(manager &m, const abstract0 &y)apron::abstract0inline
meetapron::abstract0friend
meetapron::abstract0friend
meetapron::abstract0friend
meet(manager &m, const lincons0_array &y)apron::abstract0inline
meetapron::abstract0friend
meet(manager &m, const tcons0_array &y)apron::abstract0inline
meetapron::abstract0friend
minimize(manager &m)apron::abstract0inline
nullapron::abstract0protectedstatic
operator delete(void *p)apron::use_mallocinline
operator delete[](void *p)apron::use_mallocinline
operator new(size_t sz)apron::use_mallocinline
operator new[](size_t sz)apron::use_mallocinline
operator!=apron::abstract0friend
operator*=(const abstract0 &y)apron::abstract0inline
operator*=(const lincons0_array &y)apron::abstract0inline
operator*=(const tcons0_array &y)apron::abstract0inline
operator+=(const abstract0 &y)apron::abstract0inline
operator+=(const generator0_array &y)apron::abstract0inline
operator<apron::abstract0friend
operator<<apron::abstract0friend
operator<=apron::abstract0friend
operator=(const abstract0 &t)apron::abstract0inline
operator=(top t)apron::abstract0inline
operator=(bottom t)apron::abstract0inline
operator=(const interval_array &x)apron::abstract0inline
operator=(const lincons0_array &x)apron::abstract0inline
operator=(const tcons0_array &x)apron::abstract0inline
operator==apron::abstract0friend
operator>apron::abstract0friend
operator>=apron::abstract0friend
permute_dimensions(manager &m, const dimperm &d)apron::abstract0inline
permute_dimensionsapron::abstract0friend
print(manager &m, char **name_of_dim=NULL, FILE *stream=stdout) constapron::abstract0inline
printdiffapron::abstract0friend
remove_dimensions(manager &m, const dimchange &d)apron::abstract0inline
remove_dimensionsapron::abstract0friend
sat(manager &m, const lincons0 &l) constapron::abstract0inline
sat(manager &m, const tcons0 &l) constapron::abstract0inline
sat(manager &m, ap_dim_t dim, const interval &i) constapron::abstract0inline
serialize(manager &m) constapron::abstract0inline
set(manager &m, const abstract0 &x)apron::abstract0
set(manager &m, top t, size_t intdim=AP_DIM_MAX, size_t realdim=AP_DIM_MAX)apron::abstract0inline
set(manager &m, bottom t, size_t intdim=AP_DIM_MAX, size_t realdim=AP_DIM_MAX)apron::abstract0inline
set(manager &m, const interval_array &x, size_t intdim=AP_DIM_MAX, size_t realdim=AP_DIM_MAX)apron::abstract0inline
set(manager &m, const lincons0_array &x, size_t intdim=AP_DIM_MAX, size_t realdim=AP_DIM_MAX)apron::abstract0inline
set(manager &m, const tcons0_array &x, size_t intdim=AP_DIM_MAX, size_t realdim=AP_DIM_MAX)apron::abstract0inline
size(manager &m) constapron::abstract0inline
substitute(manager &m, ap_dim_t dim, const linexpr0 &l, const abstract0 &inter=null)apron::abstract0inline
substitute(manager &m, size_t size, const ap_dim_t dim[], const linexpr0 *const l[], const abstract0 &inter=null)apron::abstract0inline
substitute(manager &m, const std::vector< ap_dim_t > &dim, const std::vector< const linexpr0 * > &l, const abstract0 &inter=null)apron::abstract0inline
substituteapron::abstract0friend
substituteapron::abstract0friend
substituteapron::abstract0friend
substitute(manager &m, ap_dim_t dim, const texpr0 &l, const abstract0 &inter=null)apron::abstract0inline
substitute(manager &m, size_t size, const ap_dim_t dim[], const texpr0 *const l[], const abstract0 &inter=null)apron::abstract0inline
substitute(manager &m, const std::vector< ap_dim_t > &dim, const std::vector< const texpr0 * > &l, const abstract0 &inter=null)apron::abstract0inline
substituteapron::abstract0friend
substituteapron::abstract0friend
substituteapron::abstract0friend
to_box(manager &m) constapron::abstract0inline
to_generator_array(manager &m) constapron::abstract0inline
to_lincons_array(manager &m) constapron::abstract0inline
to_tcons_array(manager &m) constapron::abstract0inline
wideningapron::abstract0friend
wideningapron::abstract0friend
~abstract0()apron::abstract0inline