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

Miscellaneous on vectors

Function: bool vector_is_null_strict (const pkint_t* q, size_t size)
Tests if the vector projected on the non \epsilon constraints is null. The function use global variables polka_strict and polka_dec.
Function: bool vector_is_positivity_constraint (const pkint_t* q, size_t size)
Tests if the vector represents the positivity constraint. The function use global variables polka_strict and polka_dec.
Function: bool vector_is_strictness_constraint (const pkint_t* q, size_t size)
Tests if the vector represents the strictness constraint, if strict option is set. Otherwise, returns false. The function use global variables polka_strict and polka_dec.
Function: bool vector_is_dummy_constraint (const pkint_t* q, size_t size)
Tests if the vector represents the positivity or the strictness constraint (if strict option is set for the latter case). The function use global variables polka_strict and polka_dec.



This document was generated on October, 27 2006 using texi2html