16 #ifndef __APXX_LINCONS0_HH 17 #define __APXX_LINCONS0_HH 20 #include "ap_lincons0.h" 69 lincons0(ap_constyp_t constyp=AP_CONS_SUPEQ);
128 void set_modulo(
const scalar& c);
135 void set_linexpr(
const linexpr0& c);
150 void resize(
size_t size);
188 ap_constyp_t& get_constyp();
194 const ap_constyp_t& get_constyp()
const;
197 bool has_modulo()
const;
204 bool has_linexpr()
const;
216 const scalar& get_modulo()
const;
228 const linexpr0& get_linexpr()
const;
240 const coeff& get_cst()
const;
256 const coeff& operator[](ap_dim_t
dim)
const;
277 void print(
char** name_of_dim=NULL, FILE* stream=stdout)
const;
293 bool is_unsat()
const;
299 bool is_linear()
const;
306 bool is_quasilinear()
const;
322 const ap_lincons0_t* get_ap_lincons0_t()
const;
325 ap_lincons0_t* get_ap_lincons0_t();
345 ap_lincons0_array_t
a;
425 void resize(
size_t size);
455 const lincons0& operator[](
size_t i)
const;
467 const lincons0&
get(
size_t i)
const;
479 operator std::vector<lincons0>()
const;
500 void print(
char** name_of_dim = NULL, FILE* stream=stdout)
const;
512 bool is_linear()
const;
515 bool is_quasilinear()
const;
527 const ap_lincons0_array_t* get_ap_lincons0_array_t()
const;
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
Array of linear constraints (ap_lincons1_array_t wrapper).
Definition: apxx_lincons1.hh:331
std::ostream & operator<<(std::ostream &os, const abstract0 &s)
Definition: apxx_abstract0.hh:293
lincons0_array(ap_lincons0_array_t &a)
Internal use only. Performs a shallow copy and takes ownership of the contents.
Definition: apxx_lincons0.hh:348
Level 0 abstract value (ap_abstract0_t* wrapper).
Definition: apxx_abstract0.hh:78
ap_lincons0_t l
Structure managed by APRON.
Definition: apxx_lincons0.hh:47
abstract0 & add_dimensions(manager &m, abstract0 &dst, const abstract0 &src, const dimchange &d, bool project=false)
Definition: apxx_abstract0.hh:1038
ap_lincons0_array_t * get_ap_lincons0_array_t()
Returns a pointer to the internal APRON object stored in *this.
Definition: apxx_lincons0.hh:468
abstract0 & permute_dimensions(manager &m, abstract0 &dst, const abstract0 &src, const dimperm &d)
Definition: apxx_abstract0.hh:1061
ap_lincons0_array_t a
Structure managed by APRON.
Definition: apxx_lincons0.hh:345
Coefficient (ap_coeff_t wrapper).
Definition: apxx_coeff.hh:36
Inherited by most wrappers to map new and delete to malloc and free.
Definition: apxx_scalar.hh:69
Array of linear constraints (ap_lincons0_array_t wrapper).
Definition: apxx_lincons0.hh:341
coeff & operator[](ap_dim_t dim)
Returns a (modifiable) reference to the coefficient corresponding to the given dimension.
Definition: apxx_lincons0.hh:198
Unsatisfiable constraint, to simplify initialisations and assignments.
Definition: apxx_lincons0.hh:28
Level 0 linear constraint (ap_lincons0_t wrapper).
Definition: apxx_lincons0.hh:43
Represents a dimension (i.e., variable by index) in an expression tree.
Definition: apxx_texpr0.hh:33
Level 0 linear expression (ap_linexpr0_t wrapper).
Definition: apxx_linexpr0.hh:44
Scalar (ap_scalar_t wrapper).
Definition: apxx_scalar.hh:89