Searched refs:_LP_VARSIGN_NEG (Results 1 – 2 of 2) sorted by relevance
50 _LP_VARSIGN_NEG, enumerator
920 var.sign_type=_LP_VARSIGN_NEG; in make_all_vars_bounded_below()1185 case _LP_VARSIGN_NEG: in solve()