[ < ] [ > ]   [ << ] [ 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)
Create a constraint of type constyp with the expression linexpr.

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

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 October, 31 2007 using texi2html