[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
For information:
typedef struct ap_lincons1_t { ap_lincons0_t lincons0; ap_environment_t* env; } ap_lincons1_t; |
Constraints are meant to be manipulated freely via their
components. Creating the constraint [1,2]x + 5/2 y >=0
and then
freeing it can be done with
ap_lincons1_t cons = ap_lincons1_make(AP_CONS_SUPEQ, ap_linexpr1_alloc(env,AP_LINEXPR_SPARSE,2), NULL); ap_lincons1_set_list(&cons, AP_COEFF_I_INT, 1,2, "x", AP_COEFF_S_FRAC, 5,2, "y", AP_END); ap_lincons1_clear(&cons); |
typedef struct ap_lincons1_array_t { ap_lincons0_array_t lincons0_array; ap_environment_t* env; } ap_lincons1_array_t; |
Arrays at level 1 cannot be accessed directly, for example by writing
array->p[i]
, but should instead be accessed with functions
ap_lincons1_array_get
and ap_lincons1_array_set
.