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.