28 inline linexpr1::linexpr1(ap_linexpr1_t& p) : l(p)
46 l = ap_linexpr1_copy(
const_cast<ap_linexpr1_t*
>(&x.
l));
52 ap_linexpr1_extend_environment(&
l,
53 const_cast<ap_linexpr1_t*
>(&x.
l),
55 if (r)
throw std::invalid_argument(
"apron::linexpr1::linexpr1(const linexpr1&, environment&) not a super-environment");
65 ap_linexpr1_clear(&
l);
74 ap_linexpr1_t ll = ap_linexpr1_copy(
const_cast<ap_linexpr1_t*
>(&x.
l));
75 ap_linexpr1_clear(&
l);
87 ap_linexpr1_extend_environment_with(&
l,
89 if (r)
throw std::invalid_argument(
"apron::linexpr1::extend_environment(const environment&) not a super-environment");
99 return ap_environment_copy(ap_linexpr1_envref(
const_cast<ap_linexpr1_t*
>(&
l)));
104 return reinterpret_cast<linexpr0&
>(*ap_linexpr1_linexpr0ref(
const_cast<ap_linexpr1_t*
>(&
l)));
109 return reinterpret_cast<linexpr0&
>(*ap_linexpr1_linexpr0ref(&
l));
114 return ap_linexpr0_size(ap_linexpr1_linexpr0ref(
const_cast<ap_linexpr1_t*
>(&
l)));
119 return ap_linexpr1_linexpr0ref(
const_cast<ap_linexpr1_t*
>(&
l))->discr;
124 return reinterpret_cast<coeff&
>(*ap_linexpr1_cstref(&
l));
129 return reinterpret_cast<coeff&
>(*ap_linexpr1_cstref(
const_cast<ap_linexpr1_t*
>(&
l)));
134 ap_coeff_t* x = ap_linexpr1_coeffref(&
l,
136 if (!x)
throw std::invalid_argument(
"apron::linexpr1::operator[](const var&) variable not in environment");
137 return reinterpret_cast<coeff&
>(*x);
142 ap_coeff_t* x = ap_linexpr1_coeffref(
const_cast<ap_linexpr1_t*
>(&
l),
143 const_cast<ap_var_t
>(var.get_ap_var_t()));
144 if (!x)
throw std::invalid_argument(
"apron::linexpr1::operator[](const var&) variable not in environment");
145 return reinterpret_cast<coeff&
>(*x);
152 inline std::ostream&
operator<<(std::ostream& os,
const linexpr1& s)
155 for (linexpr1::const_iterator i=s.begin();i.valid();++i) {
160 if (first) os <<
"0";
166 ap_linexpr1_fprint(stream,
const_cast<ap_linexpr1_t*
>(&
l));
175 return ap_linexpr1_is_integer(
const_cast<ap_linexpr1_t*
>(&
l));
180 return ap_linexpr1_is_real(
const_cast<ap_linexpr1_t*
>(&
l));
185 return ap_linexpr1_type(
const_cast<ap_linexpr1_t*
>(&
l));
190 return ap_linexpr1_is_linear(
const_cast<ap_linexpr1_t*
>(&
l));
195 return ap_linexpr1_is_quasilinear(
const_cast<ap_linexpr1_t*
>(&
l));
204 if (
l->linexpr0->discr == AP_LINEXPR_DENSE)
return;
254 if (pos >=
l->linexpr0->size)
throw std::out_of_range(
"apron::linexpr1::const_iterator::get_dim()");
255 if (
l->linexpr0->discr == AP_LINEXPR_DENSE)
return pos;
256 else return l->linexpr0->p.linterm[pos].dim;
262 if (pos >=
l->linexpr0->size)
throw std::out_of_range(
"apron::linexpr1::const_iterator::get_var()");
263 if (
l->linexpr0->discr == AP_LINEXPR_DENSE) d = pos;
264 else d =
l->linexpr0->p.linterm[pos].dim;
265 return *
reinterpret_cast<var*
>(&
l->env->var_of_dim[d]);
270 if (pos >=
l->linexpr0->size)
throw std::out_of_range(
"apron::linexpr1::const_iterator::get_coeff()");
271 if (
l->linexpr0->discr == AP_LINEXPR_DENSE)
return reinterpret_cast<coeff&
>(
l->linexpr0->p.coeff[pos]);
272 else return reinterpret_cast<coeff&
>(
l->linexpr0->p.linterm[pos].coeff);
277 if (pos >=
l->linexpr0->size)
throw std::out_of_range(
"apron::linexpr1::iterator::get_coeff()");
278 if (
l->linexpr0->discr == AP_LINEXPR_DENSE)
return reinterpret_cast<coeff&
>(
l->linexpr0->p.coeff[pos]);
279 else return reinterpret_cast<coeff&
>(
l->linexpr0->p.linterm[pos].coeff);
295 return pos <
l->linexpr0->size;
314 ap_linexpr1_minimize(&
l);
static bool print_coeff_sign(std::ostream &os, const coeff &c, bool &first, bool cst)
Definition: apxx_linexpr0_inline.hh:206
std::ostream & operator<<(std::ostream &os, const linexpr1 &s)
Definition: apxx_linexpr1_inline.hh:152
Coefficient (ap_coeff_t wrapper).
Definition: apxx_coeff.hh:36
Level 1 environment (ap_environment_t wrapper).
Definition: apxx_environment.hh:51
const ap_environment_t * get_ap_environment_t() const
Returns a pointer to the internal APRON object pointed by *this.
Definition: apxx_environment_inline.hh:425
Level 0 linear expression (ap_linexpr0_t wrapper).
Definition: apxx_linexpr0.hh:44
size_t size() const
Returns the number of coefficients in the expression.
Definition: apxx_linexpr0_inline.hh:164
const ap_linexpr0_t * get_ap_linexpr0_t() const
Returns a pointer to the internal APRON object stored in *this.
Definition: apxx_linexpr0_inline.hh:459
Iterator to traverse a constant linexpr1.
Definition: apxx_linexpr1.hh:235
ap_linexpr1_t * l
Internal use only. Pointer to the underlying APRON structure.
Definition: apxx_linexpr1.hh:245
bool valid() const
Whether we are at a valid position (true) or past the last iterator position (false).
Definition: apxx_linexpr1_inline.hh:293
void next()
Moves the iterator to the following position.
Definition: apxx_linexpr1_inline.hh:282
const_iterator(ap_linexpr1_t *l)
Internal use only.
const coeff & get_coeff() const
Returns a reference to the coefficient at the current iterator position.
Definition: apxx_linexpr1_inline.hh:268
void operator++()
Moves the iterator to the following position.
Definition: apxx_linexpr1_inline.hh:288
const var & get_var() const
Returns the variable name of the coefficient at the current iterator position.
Definition: apxx_linexpr1_inline.hh:259
ap_dim_t pos
Internal use only. Current index.
Definition: apxx_linexpr1.hh:246
const_iterator & operator=(const const_iterator &i)
Assigns the iterator.
Definition: apxx_linexpr1_inline.hh:238
void skip_AP_DIM_MAX()
Internal use only. Skips free coefficients in sparse expressions.
Definition: apxx_linexpr1_inline.hh:202
ap_dim_t get_dim() const
Returns the dimension of the coefficient at the current iterator position.
Definition: apxx_linexpr1_inline.hh:252
Iterator to traverse and mutate a linear expression.
Definition: apxx_linexpr1.hh:306
iterator(ap_linexpr1_t *l)
Internal use only.
coeff & get_coeff() const
Returns a (modifiable) reference to the coefficient at the current iterator position.
Definition: apxx_linexpr1_inline.hh:275
iterator & operator=(const iterator &i)
Assigns the iterator.
Definition: apxx_linexpr1_inline.hh:245
Level 1 linear expression (ap_linexpr1_t wrapper).
Definition: apxx_linexpr1.hh:39
coeff & get_cst()
Returns a (modifiable) reference to the constant coefficient.
Definition: apxx_linexpr1_inline.hh:122
iterator begin()
Returns a new iterator to traverse and mutate the linear expression.
Definition: apxx_linexpr1_inline.hh:303
void minimize()
Minimizes all coefficients.
Definition: apxx_linexpr1_inline.hh:312
ap_linexpr_discr_t get_discr() const
Returns the type of underlying linexpr0.
Definition: apxx_linexpr1_inline.hh:117
~linexpr1()
Frees all space for the expression and coefficients, and decrements the reference count of the enviro...
Definition: apxx_linexpr1_inline.hh:63
void extend_environment(const environment &e)
Extends the environment of the expression.
Definition: apxx_linexpr1_inline.hh:84
coeff & operator[](const var &v)
Returns a (modifiable) reference to the coefficient corresponding to the given variable name.
const linexpr0 & get_linexpr0() const
Returns a reference to the underlying linexpr0.
Definition: apxx_linexpr1_inline.hh:102
bool is_linear() const
Whether all coefficients are scalar.
Definition: apxx_linexpr1_inline.hh:188
const ap_linexpr1_t * get_ap_linexpr1_t() const
Returns a pointer to the internal APRON object stored in *this.
Definition: apxx_linexpr1_inline.hh:321
environment get_environment() const
Returns the environment of the expression (with incremented reference count).
Definition: apxx_linexpr1_inline.hh:97
bool is_quasilinear() const
Whether all coefficients are scalar, except maybe the constant one.
Definition: apxx_linexpr1_inline.hh:193
bool is_integer() const
Whether the expression only depends on integer variables.
Definition: apxx_linexpr1_inline.hh:173
ap_linexpr1_t l
Structure managed by APRON.
Definition: apxx_linexpr1.hh:43
linexpr1(ap_linexpr1_t &p)
Internal use only. Shallow copy (no copy of linexpr0 or environment).
Definition: apxx_linexpr1_inline.hh:28
linexpr1 & operator=(const linexpr1 &x)
Makes a (deep) copy.
Definition: apxx_linexpr1_inline.hh:72
size_t size() const
Returns the number of coefficients in the expression.
Definition: apxx_linexpr1_inline.hh:112
ap_linexpr_type_t get_type() const
Gets the type of the linear expression.
Definition: apxx_linexpr1_inline.hh:183
bool is_real() const
Whether the expression only depends on real variables.
Definition: apxx_linexpr1_inline.hh:178
void print(FILE *stream=stdout) const
Prints to a C stream.
Definition: apxx_linexpr1_inline.hh:164
Variable name (ap_var_t wrapper).
Definition: apxx_var.hh:39
const ap_var_t & get_ap_var_t() const
Returns a reference to the APRON object wrapped (no copy).
Definition: apxx_var_inline.hh:156