16 #ifndef __APXX_GENERATOR1_HH 17 #define __APXX_GENERATOR1_HH 19 #include "ap_generator1.h" 235 void print(FILE* stream=stdout)
const;
276 ap_generator1_array_t
a;
375 void resize(
size_t size);
427 operator std::vector<generator1>()
const;
446 void print(FILE* stream=stdout)
const;
461 ap_generator1_array_t* get_ap_generator1_array_t();
void print(FILE *stream=stdout) const
Prints to a C stream.
Definition: apxx_generator1.hh:207
size_t size() const
Returns the size of the underlying linear expression.
Definition: apxx_generator1.hh:127
Definition: apxx_abstract0.hh:27
linexpr1 get_linexpr() const
Returns a copy of the underlying linear expression.
Definition: apxx_generator1.hh:147
coeff & operator[](const var &v)
Returns a (modifiable) reference to the coefficient corresponding to the given variable name...
Definition: apxx_generator1.hh:169
const generator0 & get_generator0() const
Returns a reference to the underlying generator0.
Definition: apxx_generator1.hh:117
generator1(const generator1 &x, const environment &e)
Makes a (deep) copy of x and extends its environment.
Definition: apxx_generator1.hh:56
coeff & get_cst()
Returns a (modifiable) reference to the constant coefficient.
Definition: apxx_generator1.hh:155
Variable name (ap_var_t wrapper).
Definition: apxx_var.hh:39
friend class generator1_array
Definition: apxx_generator1.hh:49
void set_linexpr(const linexpr1 &c)
Sets the underlying linear expression to c (copied).
Definition: apxx_generator1.hh:88
Level 1 generator (ap_generator1_t wrapper).
Definition: apxx_generator1.hh:40
Array of generators (ap_generator0_array_t wrapper).
Definition: apxx_generator0.hh:214
bool has_linexpr() const
Whether the generator has a valid linear expression.
Definition: apxx_generator1.hh:142
environment get_environment() const
Returns the environment of the generator (with incremented reference count).
Definition: apxx_generator1.hh:112
ap_gentyp_t & get_gentyp()
Returns a (modifiable) reference to the constraint type.
Definition: apxx_generator1.hh:132
const ap_generator1_t * get_ap_generator1_t() const
Returns a pointer to the internal APRON object stored in *this.
Definition: apxx_generator1.hh:216
Level 1 environment (ap_environment_t wrapper).
Definition: apxx_environment.hh:51
friend std::ostream & operator<<(std::ostream &os, const generator1 &s)
Printing.
Definition: apxx_generator1.hh:192
Level 1 linear expression (ap_linexpr1_t wrapper).
Definition: apxx_linexpr1.hh:39
Coefficient (ap_coeff_t wrapper).
Definition: apxx_coeff.hh:36
Level 1 abstract value (ap_abstract1_t wrapper).
Definition: apxx_abstract1.hh:42
Inherited by most wrappers to map new and delete to malloc and free.
Definition: apxx_scalar.hh:69
const ap_generator1_array_t * get_ap_generator1_array_t() const
Returns a pointer to the internal APRON object stored in *this.
Definition: apxx_generator1.hh:437
~generator1()
Frees all space for the generator, and decrements the reference count of the environment.
Definition: apxx_generator1.hh:71
~generator1_array()
Frees the space used by the array and all its generators, and decrements the reference count of the e...
Definition: apxx_generator1.hh:294
ap_generator1_t l
Structure managed by APRON.
Definition: apxx_generator1.hh:44
Level 0 generator (ap_generator0_t wrapper).
Definition: apxx_generator0.hh:39
Array of generators (ap_generator1_array_t wrapper).
Definition: apxx_generator1.hh:272
void extend_environment(const environment &e)
Extends the environment of the generator.
Definition: apxx_generator1.hh:97
generator1(ap_generator1_t p)
Internal use only. Shallow copy (no copy of generator0 or environment).
Definition: apxx_generator1.hh:29
ap_generator1_array_t a
Structure managed by APRON.
Definition: apxx_generator1.hh:276
generator1 & operator=(const generator1 &x)
Makes a (deep) copy.
Definition: apxx_generator1.hh:80