16#ifndef __APXX_LINCONS1_HH
17#define __APXX_LINCONS1_HH
19#include "ap_lincons1.h"
263 void print(FILE* stream=stdout)
const;
335 ap_lincons1_array_t
a;
486 operator std::vector<lincons1>()
const;
505 void print(FILE* stream=stdout)
const;
Level 1 abstract value (ap_abstract1_t wrapper).
Definition apxx_abstract1.hh:42
Coefficient (ap_coeff_t wrapper).
Definition apxx_coeff.hh:36
Level 1 environment (ap_environment_t wrapper).
Definition apxx_environment.hh:51
Array of linear constraints (ap_lincons0_array_t wrapper).
Definition apxx_lincons0.hh:341
Level 0 linear constraint (ap_lincons0_t wrapper).
Definition apxx_lincons0.hh:43
Array of linear constraints (ap_lincons1_array_t wrapper).
Definition apxx_lincons1.hh:331
void set(size_t i, const lincons1 &x)
Changes the constraint at index i.
Definition apxx_lincons1_inline.hh:453
const lincons0_array & get_lincons0_array() const
Returns a reference to the underlying lincons0_array.
Definition apxx_lincons1_inline.hh:436
void extend_environment(const environment &e)
Extends the environment of all expressions in array.
Definition apxx_lincons1_inline.hh:414
ap_lincons1_array_t a
Structure managed by APRON.
Definition apxx_lincons1.hh:335
void resize(size_t size)
Resizes the array.
Definition apxx_lincons1_inline.hh:409
const ap_lincons1_array_t * get_ap_lincons1_array_t() const
Returns a pointer to the internal APRON object stored in *this.
Definition apxx_lincons1_inline.hh:499
friend std::ostream & operator<<(std::ostream &os, const lincons1_array &s)
Printing.
lincons1_array(ap_lincons1_array_t &a)
Internal use only. Shallow copy (no copy of lincons0_array or environment).
Definition apxx_lincons1_inline.hh:300
environment get_environment() const
Returns the environment shared by all constraints (with incremented reference count).
Definition apxx_lincons1_inline.hh:431
~lincons1_array()
Frees the space used by the array and all its constraints, and decrements the reference count of the ...
Definition apxx_lincons1_inline.hh:356
lincons1_array(size_t size, const lincons1 x[])
Creates a lincons1_array from an array (of size >0) of constraints of the given size (copied).
void print(FILE *stream=stdout) const
Prints to a C stream.
Definition apxx_lincons1_inline.hh:490
lincons1_array & operator=(const lincons1_array &x)
(Deep) copy.
Definition apxx_lincons1_inline.hh:365
size_t size() const
Returns the size of the array.
Definition apxx_lincons1_inline.hh:426
lincons1 get(size_t i) const
Returns a copy of the constraint at index i.
Definition apxx_lincons1_inline.hh:446
Level 1 linear constraint (ap_lincons1_t wrapper).
Definition apxx_lincons1.hh:40
void set_linexpr(const linexpr1 &c)
Sets the underlying linear expression to c (copied).
Definition apxx_lincons1_inline.hh:111
const coeff & operator[](const var &v) const
Returns a reference to the coefficient corresponding to the given variable name.
const ap_lincons1_t * get_ap_lincons1_t() const
Returns a pointer to the internal APRON object stored in *this.
Definition apxx_lincons1_inline.hh:278
bool is_linear() const
Whether the underlying linear expression has only scalar coefficients.
Definition apxx_lincons1_inline.hh:264
size_t size() const
Returns the size of the underlying linear expression.
Definition apxx_lincons1_inline.hh:150
bool has_modulo() const
Whether the constraint has a valid auxiliary scalar (used in modulo constraints).
Definition apxx_lincons1_inline.hh:165
environment get_environment() const
Returns the environment of the constraint (with incremented reference count).
Definition apxx_lincons1_inline.hh:135
void set_modulo(const scalar &c)
Sets the auxiliary scalar modulo to c (copied).
Definition apxx_lincons1_inline.hh:106
void extend_environment(const environment &e)
Extends the environment of the expression.
Definition apxx_lincons1_inline.hh:120
lincons1 & operator=(const lincons1 &x)
Makes a (deep) copy.
Definition apxx_lincons1_inline.hh:90
coeff & operator[](const var &v)
Returns a (modifiable) reference to the coefficient corresponding to the given variable name.
void print(FILE *stream=stdout) const
Prints to a C stream.
Definition apxx_lincons1_inline.hh:250
ap_lincons1_t l
Structure managed by APRON.
Definition apxx_lincons1.hh:44
friend std::ostream & operator<<(std::ostream &os, const lincons1 &s)
Printing.
bool is_quasilinear() const
Whether the underlying linear expression has only scalar coefficients, except maybe for the constant ...
Definition apxx_lincons1_inline.hh:269
ap_constyp_t & get_constyp()
Returns a (modifiable) reference to the constraint type.
Definition apxx_lincons1_inline.hh:155
lincons1(ap_lincons1_t p)
Internal use only. Shallow copy (no copy of lincons0 or environment).
Definition apxx_lincons1_inline.hh:27
const lincons0 & get_lincons0() const
Returns a reference to the underlying lincons0.
Definition apxx_lincons1_inline.hh:140
linexpr1 get_linexpr() const
Returns a copy of the underlying linear expression.
Definition apxx_lincons1_inline.hh:189
coeff & get_cst()
Returns a (modifiable) reference to the constant coefficient.
Definition apxx_lincons1_inline.hh:197
scalar & get_modulo()
Returns a (modifiable) reference to the auxiliary scalar.
Definition apxx_lincons1_inline.hh:175
bool has_linexpr() const
Whether the constraint has a valid linear expression.
Definition apxx_lincons1_inline.hh:170
~lincons1()
Frees all space for the expression and coefficients, and decrements the reference count of the enviro...
Definition apxx_lincons1_inline.hh:81
bool is_unsat() const
Whether the constraint is unsatisfiable.
Definition apxx_lincons1_inline.hh:259
Level 1 linear expression (ap_linexpr1_t wrapper).
Definition apxx_linexpr1.hh:39
Scalar (ap_scalar_t wrapper).
Definition apxx_scalar.hh:89
Variable name (ap_var_t wrapper).
Definition apxx_var.hh:39
Definition apxx_abstract0.hh:27
Unsatisfiable constraint, to simplify initialisations and assignments.
Definition apxx_lincons0.hh:28
Inherited by most wrappers to map new and delete to malloc and free.
Definition apxx_scalar.hh:69