16 #ifndef __APXX_GENERATOR0_HH 17 #define __APXX_GENERATOR0_HH 20 #include "ap_generator0.h" 185 void print(
char** name_of_dim=NULL, FILE* stream=stdout)
const;
218 ap_generator0_array_t
a;
352 operator std::vector<generator0>()
const;
372 void print(
char** name_of_dim=NULL, FILE* stream=stdout)
const;
387 ap_generator0_array_t* get_ap_generator0_array_t();
Dimension permutation object (ap_dimperm_t wrapper).
Definition: apxx_dimension.hh:292
Dimension change object (ap_dimchange_t wrapper).
Definition: apxx_dimension.hh:102
Definition: apxx_abstract0.hh:27
void add_dimensions(const dimchange &d)
Applies add_dimensions to all generators in the array.
Definition: apxx_generator0.hh:292
ap_gentyp_t & get_gentyp()
Returns a (modifiable) reference to the constraint type.
Definition: apxx_generator0.hh:120
size_t size() const
Returns the size of the underlying linear expression.
Definition: apxx_generator0.hh:111
ap_generator0_t l
Structure managed by APRON.
Definition: apxx_generator0.hh:43
void add_dimensions(const dimchange &d)
Changes the dimension of the underlying linear expression.
Definition: apxx_generator0.hh:93
Level 0 abstract value (ap_abstract0_t* wrapper).
Definition: apxx_abstract0.hh:78
Array of generators (ap_generator0_array_t wrapper).
Definition: apxx_generator0.hh:214
void set_linexpr(const linexpr0 &c)
Sets the underlying linear expression to c (copied).
Definition: apxx_generator0.hh:147
ap_generator0_t * get_ap_generator0_t()
Returns a pointer to the internal APRON object stored in *this.
Definition: apxx_generator0.hh:187
friend std::ostream & operator<<(std::ostream &os, const generator0 &s)
Printing.
Definition: apxx_generator0.hh:157
void print(char **name_of_dim=NULL, FILE *stream=stdout) const
Prints to a C stream.
Definition: apxx_generator0.hh:173
const generator0 & operator[](size_t i) const
Returns a reference to an element, no bound checking.
Definition: apxx_generator0.hh:326
const ap_generator0_t * get_ap_generator0_t() const
Returns a pointer to the internal APRON object stored in *this.
Definition: apxx_generator0.hh:182
void resize(size_t size)
Resizes the underlying linear expression.
Definition: apxx_generator0.hh:87
Inherited by most wrappers to map new and delete to malloc and free.
Definition: apxx_scalar.hh:69
const ap_generator0_array_t * get_ap_generator0_array_t() const
Returns a pointer to the internal APRON object stored in *this.
Definition: apxx_generator0.hh:378
generator0 & operator=(const generator0 &x)
(Deep) copy.
Definition: apxx_generator0.hh:74
bool has_linexpr() const
Returns whether the generator has a valid linear expression.
Definition: apxx_generator0.hh:130
~generator0()
Frees the generator, including the embedded linear expression.
Definition: apxx_generator0.hh:65
ap_generator0_array_t a
Structure managed by APRON.
Definition: apxx_generator0.hh:218
void print(char **name_of_dim=NULL, FILE *stream=stdout) const
Prints to a C stream.
Definition: apxx_generator0.hh:369
Level 0 generator (ap_generator0_t wrapper).
Definition: apxx_generator0.hh:39
void permute_dimensions(const dimperm &d)
Applies a permutation to the underlying linear expression.
Definition: apxx_generator0.hh:99
Array of generators (ap_generator1_array_t wrapper).
Definition: apxx_generator1.hh:272
Level 0 linear expression (ap_linexpr0_t wrapper).
Definition: apxx_linexpr0.hh:44
linexpr0 & get_linexpr()
Returns a (modifiable) reference to the underlying linear expression.
Definition: apxx_generator0.hh:135
const generator0 * contents() const
Returns a pointer to the start of the internal array holding the generators.
Definition: apxx_generator0.hh:316
generator0(ap_generator0_t &l)
Internal use only. Performs a shallow copy and takes ownership of the contents.
Definition: apxx_generator0.hh:46