[
<
]
[
>
]
[
<<
]
[
Up
]
[
>>
]
[
Top
]
[
Contents
]
[Index]
[
?
]
Tests on linear constraints of level 0
Function:
bool
ap_lincons0_is_unsat
(ap_lincons0_t*
cons
)
Return
true
if the constraint is not satisfiable.
This document was generated on
September, 10 2009
using
texi2html