APRONXX  0.9.12
apron::lincons0_array Member List

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

aapron::lincons0_arrayprotected
add_dimensions(const dimchange &d)apron::lincons0_arrayinline
contents()apron::lincons0_arrayinline
contents() constapron::lincons0_arrayinline
get(size_t i)apron::lincons0_arrayinline
get(size_t i) constapron::lincons0_arrayinline
get_ap_lincons0_array_t() constapron::lincons0_arrayinline
get_ap_lincons0_array_t()apron::lincons0_arrayinline
is_linear() constapron::lincons0_arrayinline
is_quasilinear() constapron::lincons0_arrayinline
lincons0_array(ap_lincons0_array_t &a)apron::lincons0_arrayinlineprotected
lincons0_array(size_t size)apron::lincons0_arrayinline
lincons0_array(const lincons0_array &x)apron::lincons0_arrayinline
lincons0_array(const lincons0_array &x, const dimchange &d)apron::lincons0_arrayinline
lincons0_array(const lincons0_array &x, const dimperm &d)apron::lincons0_arrayinline
lincons0_array(size_t size, const lincons0 x[])apron::lincons0_arrayinline
lincons0_array(const std::vector< lincons0 > &x)apron::lincons0_arrayinline
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 std::vector< lincons0 >() constapron::lincons0_arrayinline
operator<<(std::ostream &os, const lincons0_array &s)apron::lincons0_arrayfriend
operator=(const lincons0_array &x)apron::lincons0_arrayinline
operator=(const lincons0 x[])apron::lincons0_arrayinline
operator=(const std::vector< lincons0 > &x)apron::lincons0_arrayinline
operator[](size_t i)apron::lincons0_arrayinline
operator[](size_t i) constapron::lincons0_arrayinline
permute_dimensions(const dimperm &d)apron::lincons0_arrayinline
print(char **name_of_dim=NULL, FILE *stream=stdout) constapron::lincons0_arrayinline
resize(size_t size)apron::lincons0_arrayinline
size() constapron::lincons0_arrayinline
~lincons0_array()apron::lincons0_arrayinline