Searched refs:_LP_VARSIGN_POS_PART (Results 1 – 2 of 2) sorted by relevance
51 _LP_VARSIGN_POS_PART, enumerator
911 var.sign_type=_LP_VARSIGN_POS_PART; in make_all_vars_bounded_below()1111 case _LP_VARSIGN_POS_PART: in solve()