[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Arrays of linear constraints of level 1

Function: ap_lincons1_array_t ap_lincons1_array_make (ap_environment_t* env, size_t size)
Allocate an array of constraints of size size, defined on the environment env.

The constraints are initialized with NULL pointers for underlying expressions.

Function: void ap_lincons1_array_clear (ap_lincons1_array_t* array)
Clear the constraints of the array, and then the array itself.

Function: void ap_lincons1_array_fprint (FILE* stream, ap_lincons1_array_t* array)
Print the array on the stream.

Function: size_t ap_lincons1_array_size (ap_lincons1_array_t* array)
Return the size of the array.

Function: ap_environment_t* ap_lincons1_array_envref (ap_lincons1_array_t* array)
Get a reference to the environment. Do not free it.

Function: ap_lincons1_t ap_lincons1_array_get (ap_lincons1_array_t* array, size_t index)
Return the linear constraint of the given index. Nothing is duplicated, and the result should never be cleared. Modifying the argument or the result is equivalent, except for change of environments

Function: bool ap_lincons1_array_set (ap_lincons1_array_t* array, size_t index, ap_lincons1_t* cons)
Fill the index of the array with the constraint. Assumes ap_environment_is_eq(array->env,cons->env). Nothing is duplicated. The argument should never be cleared (its environment is dereferenced). If a constraint was already stored, it is first cleared. Return true iff problem (index or array->env!=cons->env)

Function: void ap_lincons1_array_clear_index (ap_lincons1_array_t* array, size_t index)
Clear the constraint at index index.

Function: bool ap_lincons1_array_extend_environment_with (ap_lincons1_array_t* array, ap_environment_t* nenv)
Function: bool ap_lincons1_array_extend_environment (ap_lincons1_array_t* narray, ap_lincons1_array_t* array, ap_environment_t* nenv)
Identical to corresponding ap_linexpr1_XXX functions (see section Change of dimensions and permutations of linear expressions of level 1).



This document was generated on September, 10 2009 using texi2html