[
<
]
[
>
]
[
<<
]
[
Up
]
[
>>
]
[
Top
]
[
Contents
]
[Index]
[
?
]
Tests on linear constraints of level 1
Function:
bool
ap_lincons1_is_unsat
(ap_lincons1_t*
cons
)
Return
true
if the constraint is not satisfiable (
b>=0
or
[a,b]>=0
with b negative).
This document was generated on
September, 10 2009
using
texi2html