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

Allocating linear constraints of level 1

Function: ap_lincons1_t ap_lincons1_make (ap_constyp_t constyp, ap_linexpr1_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_lincons1_t ap_lincons1_make_unsat (ap_environment_t* env)
Create the constraint -1>=0.

Function: ap_lincons1_t ap_lincons1_copy (ap_lincons1_t* cons)

Function: void ap_lincons1_clear (ap_lincons1_t* cons)
Clear the constraint and set pointers to NULL.

Function: void ap_lincons1_fprint (FILE* stream, ap_lincons1_t* cons);
Print the linear constraint on stream stream.

This document was generated on September, 10 2009 using texi2html