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

Allocating linear constraints of level 0

Function: ap_lincons0_t ap_lincons0_make (ap_constyp_t constyp, ap_linexpr0_t* linexpr, ap_scalar_t* mod)
Create a constraint of type constyp with the expression linexpr, and the modulo mod in case of a congruence constraint (constyp==AP_CONS_EQMOD).

The expression is not duplicated, just pointed to, so it becomes managed via the constraint.

Function: ap_lincons0_t ap_lincons0_make_unsat ()
Create the constraint -1>=0.

Function: ap_lincons0_t ap_lincons0_copy (ap_lincons0_t* cons)

Function: void ap_lincons0_clear (ap_lincons0_t* cons)
Clear the constraint.

Function: void ap_lincons0_fprint (FILE* stream, ap_lincons0_t* cons, char** name_of_dim);
Print the linear constraint on stream stream, using the array name_of_dim to convert dimensions to variable names. If name_of_dim is NULL, the dimensions are named x0,x1,....

This document was generated on September, 10 2009 using texi2html