[
<
]
[
>
]
[
<<
]
[
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
(const 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
, const ap_lincons1_t*
cons
);
Print the linear constraint on stream
stream
.
This document was generated on
December, 22 2006
using
texi2html