Linear constraints of level 1 (`ap_lincons1.h')

datatype: ap_lincons1_t

Datatype for constraints.

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);

datatype: ap_lincons1_array_t

typedef struct ap_lincons1_array_t { ap_lincons0_array_t lincons0_array; ap_environment_t* env; } ap_lincons1_array_t;

Datatype for arrays of constraints.

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.

Allocating linear constraints of level 1
Tests on linear constraints of level 1
Access to linear constraints of level 1
Change of dimensions and permutations of linear constraints of level 1
Arrays of linear constraints of level 1