27inline lincons1::lincons1(ap_lincons1_t p) : l(p)
30inline lincons1::lincons1(
const environment& e,
const lincons0& x)
32 l = ap_lincons1_of_lincons0(
const_cast<ap_environment_t*
>(e.get_ap_environment_t()),
33 ap_lincons0_copy(
const_cast<ap_lincons0_t*
>(x.get_ap_lincons0_t())));
36inline lincons1::lincons1(
const environment& e, ap_constyp_t constyp)
39 ap_linexpr1_make(
const_cast<ap_environment_t*
>(e.get_ap_environment_t()), AP_LINEXPR_SPARSE, 0);
40 l = ap_lincons1_make(constyp, &llin, NULL);
43inline lincons1::lincons1(ap_constyp_t constyp,
const linexpr1& lin)
45 ap_linexpr1_t llin = ap_linexpr1_copy(
const_cast<ap_linexpr1_t*
>(lin.get_ap_linexpr1_t()));
46 l = ap_lincons1_make(constyp, &llin, NULL);
49inline lincons1::lincons1(ap_constyp_t constyp,
const linexpr1& lin,
const scalar& modulo)
51 ap_linexpr1_t llin = ap_linexpr1_copy(
const_cast<ap_linexpr1_t*
>(lin.get_ap_linexpr1_t()));
52 ap_scalar_t* mmodulo = ap_scalar_alloc_set(
const_cast<ap_scalar_t*
>(modulo.get_ap_scalar_t()));
53 l = ap_lincons1_make(constyp, &llin, mmodulo);
56inline lincons1::lincons1(
const environment& e, unsat x)
58 l = ap_lincons1_make_unsat(
const_cast<ap_environment_t*
>(e.get_ap_environment_t()));
61inline lincons1::lincons1(
const lincons1& x)
63 l = ap_lincons1_copy(
const_cast<ap_lincons1_t*
>(&x.l));
66inline lincons1::lincons1(
const lincons1& x,
const environment& e)
69 throw std::invalid_argument(
"apron::lincons1::lincons1(const lincons1&, const environment&) empty expression");
71 ap_lincons1_extend_environment(&l,
72 const_cast<ap_lincons1_t*
>(&x.l),
73 const_cast<ap_environment_t*
>(e.get_ap_environment_t()));
74 if (r)
throw std::invalid_argument(
"apron::lincons1::lincons1(const lincons1&, const environment&) not a super-environment");
81inline lincons1::~lincons1()
83 ap_lincons1_clear(&l);
90inline lincons1& lincons1::operator= (
const lincons1& x)
92 ap_lincons1_t ll = ap_lincons1_copy(
const_cast<ap_lincons1_t*
>(&x.l));
93 ap_lincons1_clear(&l);
98inline lincons1& lincons1::operator= (unsat x)
100 ap_lincons1_t ll = ap_lincons1_make_unsat(ap_lincons1_envref(&l));
101 ap_lincons1_clear(&l);
106inline void lincons1::set_modulo(
const scalar& c)
108 get_lincons0().set_modulo(c);
111inline void lincons1::set_linexpr(
const linexpr1& c)
113 get_lincons0().set_linexpr(c.get_linexpr0());
120inline void lincons1::extend_environment(
const environment& e)
123 throw std::invalid_argument(
"apron::lincons1::extend_environment(const environment&) empty expression");
125 ap_lincons1_extend_environment_with(&l,
126 const_cast<ap_environment_t*
>(e.get_ap_environment_t()));
127 if (r)
throw std::invalid_argument(
"apron::lincons1::extend_environment(const environment&) not a super-environment");
135inline environment lincons1::get_environment()
const
137 return (ap_environment_copy(ap_lincons1_envref(
const_cast<ap_lincons1_t*
>(&l))));
140inline const lincons0& lincons1::get_lincons0()
const
142 return reinterpret_cast<lincons0&
>(*ap_lincons1_lincons0ref(
const_cast<ap_lincons1_t*
>(&l)));
145inline lincons0& lincons1::get_lincons0()
147 return reinterpret_cast<lincons0&
>(*ap_lincons1_lincons0ref(&l));
150inline size_t lincons1::size()
const
152 return get_lincons0().size();
155inline ap_constyp_t& lincons1::get_constyp()
157 return get_lincons0().get_constyp();
160inline const ap_constyp_t& lincons1::get_constyp()
const
162 return get_lincons0().get_constyp();
165inline bool lincons1::has_modulo()
const
167 return get_lincons0().has_modulo();
170inline bool lincons1::has_linexpr()
const
172 return get_lincons0().has_linexpr();
175inline scalar& lincons1::get_modulo()
178 throw std::invalid_argument(
"apron::lincons1::get_modulo() empty scalar");
179 return get_lincons0().get_modulo();
182inline const scalar& lincons1::get_modulo()
const
185 throw std::invalid_argument(
"apron::lincons1::get_modulo() empty scalar");
186 return get_lincons0().get_modulo();
189inline linexpr1 lincons1::get_linexpr()
const
192 throw std::invalid_argument(
"apron::lincons1::get_linexpr() empty expression");
193 linexpr0 ll = get_lincons0().get_linexpr();
194 return linexpr1(get_environment(),ll);
197inline coeff& lincons1::get_cst()
200 throw std::invalid_argument(
"apron::lincons1::get_cst() empty expression");
201 return reinterpret_cast<coeff&
>(*ap_lincons1_cstref(&l));
204inline const coeff& lincons1::get_cst()
const
207 throw std::invalid_argument(
"apron::lincons1::get_cst() empty expression");
208 return reinterpret_cast<coeff&
>(*ap_lincons1_cstref(
const_cast<ap_lincons1_t*
>(&l)));
211inline coeff& lincons1::operator[](
const var& var)
214 throw std::invalid_argument(
"apron::lincons1::operator[](const var&) empty expression");
215 ap_coeff_t* x = ap_lincons1_coeffref(&l,
216 const_cast<ap_var_t
>(var.get_ap_var_t()));
218 throw std::invalid_argument(
"apron::lincons1::operator[](const var&) variable not in environment");
219 return reinterpret_cast<coeff&
>(*x);
222inline const coeff& lincons1::operator[](
const var& var)
const
225 throw std::invalid_argument(
"apron::lincons1::operator[](const var&) empty expression");
226 ap_coeff_t* x = ap_lincons1_coeffref(
const_cast<ap_lincons1_t*
>(&l),
227 const_cast<ap_var_t
>(var.get_ap_var_t()));
229 throw std::invalid_argument(
"apron::lincons1::operator[](const var&) variable not in environment");
230 return reinterpret_cast<coeff&
>(*x);
237inline std::ostream&
operator<< (std::ostream& os,
const lincons1& s)
239 os << s.get_linexpr();
240 switch (s.get_constyp()) {
241 case AP_CONS_EQ:
return os <<
" = 0";
242 case AP_CONS_SUPEQ:
return os <<
" >= 0";
243 case AP_CONS_SUP:
return os <<
" > 0";
244 case AP_CONS_EQMOD:
return os <<
" = 0 mod " << s.get_modulo();
245 case AP_CONS_DISEQ:
return os <<
" != 0";
246 default:
throw std::invalid_argument(
"apron::operator<<(ostream&, const lincons1&) invalid constraint type");
250inline void lincons1::print(FILE* stream)
const
252 ap_lincons1_fprint(stream,
const_cast<ap_lincons1_t*
>(&l));
259inline bool lincons1::is_unsat()
const
261 return ap_lincons1_is_unsat(
const_cast<ap_lincons1_t*
>(&l));
264inline bool lincons1::is_linear()
const
266 return get_lincons0().is_linear();
269inline bool lincons1::is_quasilinear()
const
271 return get_lincons0().is_quasilinear();
278inline const ap_lincons1_t* lincons1::get_ap_lincons1_t()
const
283inline ap_lincons1_t* lincons1::get_ap_lincons1_t()
300inline lincons1_array::lincons1_array(ap_lincons1_array_t& a) : a(a)
303inline lincons1_array::lincons1_array(
const environment& e,
const lincons0_array& x)
305 size_t sz = x.size();
306 a = ap_lincons1_array_make(
const_cast<ap_environment_t*
>(e.get_ap_environment_t()), sz);
307 for (
size_t i=0; i<sz; i++)
308 a.lincons0_array.p[i] = ap_lincons0_copy(&x.a.p[i]);
311inline lincons1_array::lincons1_array(
const environment& e,
size_t size)
313 a = ap_lincons1_array_make(
const_cast<ap_environment_t*
>(e.get_ap_environment_t()), size);
316inline lincons1_array::lincons1_array(
const lincons1_array& x)
318 size_t sz = x.size();
319 a = ap_lincons1_array_make(x.get_environment().get_ap_environment_t(), sz);
320 for (
size_t i=0; i<sz; i++)
321 a.lincons0_array.p[i] = ap_lincons0_copy(&x.a.lincons0_array.p[i]);
324inline lincons1_array::lincons1_array(
const lincons1_array& x,
const environment& e)
327 ap_lincons1_array_extend_environment(&a,
328 const_cast<ap_lincons1_array_t*
>(&x.a),
329 const_cast<ap_environment_t*
>(e.get_ap_environment_t()));
330 if (r)
throw std::invalid_argument(
"apron::lincons1_array::lincons1_array(const lincons1_array, const environment&) not a super-environment");
333inline lincons1_array::lincons1_array(
size_t sz,
const lincons1 x[])
335 if (sz<1)
throw std::invalid_argument(
"apron::lincons1_array::lincons1_array(size_t, const lincons1) null size");
336 a = ap_lincons1_array_make(x[0].get_environment().get_ap_environment_t(), sz);
337 for (
size_t i=0; i<sz; i++)
338 a.lincons0_array.p[i] = ap_lincons0_copy(
const_cast<ap_lincons0_t*
>
339 (x[i].get_lincons0().get_ap_lincons0_t()));
342inline lincons1_array::lincons1_array(
const std::vector<lincons1>& x)
344 size_t sz = x.size();
345 if (sz<1)
throw std::invalid_argument(
"apron::lincons1_array::lincons1_array(const vector<lincons1>&) null size");
346 a = ap_lincons1_array_make(x[0].get_environment().get_ap_environment_t(), sz);
347 for (
size_t i=0; i<sz; i++)
348 a.lincons0_array.p[i] = ap_lincons0_copy(
const_cast<ap_lincons0_t*
>
349 (x[i].get_lincons0().get_ap_lincons0_t()));
356inline lincons1_array::~lincons1_array()
358 ap_lincons1_array_clear(&a);
365inline lincons1_array& lincons1_array::operator= (
const lincons1_array& x)
368 size_t sz = x.size();
369 ap_lincons1_array_clear(&a);
370 a = ap_lincons1_array_make(x.get_environment().get_ap_environment_t(), sz);
371 for (
size_t i=0; i<sz; i++)
372 a.lincons0_array.p[i] = ap_lincons0_copy(&x.a.lincons0_array.p[i]);
377inline lincons1_array& lincons1_array::operator= (
const lincons1 x[])
380 for (
size_t i=0; i<sz; i++) {
381 ap_lincons0_clear(&a.lincons0_array.p[i]);
382 a.lincons0_array.p[i] = ap_lincons0_copy(
const_cast<ap_lincons0_t*
>
383 (x[i].get_lincons0().get_ap_lincons0_t()));
388inline lincons1_array& lincons1_array::operator= (
const std::vector<lincons1>& x)
390 size_t size = x.size();
392 ap_lincons1_array_t aa = ap_lincons1_array_make(a.env,0);
393 ap_lincons1_array_clear(&a);
397 ap_lincons1_array_clear(&a);
398 a = ap_lincons1_array_make(x[0].get_environment().get_ap_environment_t(), size);
399 for (
size_t i=0; i<size; i++)
400 a.lincons0_array.p[i] = ap_lincons0_copy(
const_cast<ap_lincons0_t*
>
401 (x[i].get_lincons0().get_ap_lincons0_t()));
409inline void lincons1_array::resize(
size_t size)
411 ap_lincons0_array_resize(&a.lincons0_array, size);
414inline void lincons1_array::extend_environment(
const environment& e)
417 ap_lincons1_array_extend_environment_with(&a,
418 const_cast<ap_environment_t*
>(e.get_ap_environment_t()));
419 if (r)
throw std::invalid_argument(
"apron::lincons1_array::extend_environment(const environment&) not a super-environment");
426inline size_t lincons1_array::size()
const
428 return ap_lincons1_array_size(
const_cast<ap_lincons1_array_t*
>(&a));
431inline environment lincons1_array::get_environment()
const
433 return (ap_environment_copy(ap_lincons1_array_envref(
const_cast<ap_lincons1_array_t*
>(&a))));
436inline const lincons0_array& lincons1_array::get_lincons0_array()
const
438 return reinterpret_cast<lincons0_array&
>(
const_cast<ap_lincons0_array_t&
>(a.lincons0_array));
441inline lincons0_array& lincons1_array::get_lincons0_array()
443 return reinterpret_cast<lincons0_array&
>(a.lincons0_array);
446inline lincons1 lincons1_array::get(
size_t i)
const
448 if (i>=size())
throw std::out_of_range(
"apron::lincons1_array::get(size_t)");
449 ap_lincons1_t c = ap_lincons1_array_get(
const_cast<ap_lincons1_array_t*
>(&a),i);
450 return lincons1(ap_lincons1_copy(&c));
453inline void lincons1_array::set(
size_t i,
const lincons1& x)
455 if (i>=size())
throw std::out_of_range(
"apron::lincons1_array::set(size_t, const lincons1&)");
456 ap_lincons0_clear(&a.lincons0_array.p[i]);
457 a.lincons0_array.p[i] = ap_lincons0_copy(
const_cast<ap_lincons0_t*
>
458 (x.get_lincons0().get_ap_lincons0_t()));
465inline lincons1_array::operator std::vector<lincons1>()
const
468 lincons1 dummy(get_environment(),unsat());
469 std::vector<lincons1> v(sz,dummy);
470 for (
size_t i=0;i<sz;i++) {
471 ap_lincons1_t c = ap_lincons1_array_get(
const_cast<ap_lincons1_array_t*
>(&a),i);
472 v[i] = ap_lincons1_copy(&c);
481inline std::ostream&
operator<< (std::ostream& os,
const lincons1_array& s)
483 size_t sz = s.size();
485 for (
size_t i=0;i<sz;i++)
486 os << s.get(i) <<
"; ";
490inline void lincons1_array:: print(FILE* stream)
const
492 ap_lincons1_array_fprint(stream,
const_cast<ap_lincons1_array_t*
>(&a));
499inline const ap_lincons1_array_t* lincons1_array::get_ap_lincons1_array_t()
const
504inline ap_lincons1_array_t* lincons1_array::get_ap_lincons1_array_t()
std::ostream & operator<<(std::ostream &os, const lincons1 &s)
Definition apxx_lincons1_inline.hh:237