Searched refs:is_linear_ineq (Results 1 – 4 of 4) sorted by relevance
476 bool is_linear_ineq(expr * t) const { in is_linear_ineq() function497 else if (is_linear_ineq(l)) { in is_occ()508 return is_linear_ineq(t); in is_occ()
479 bool is_linear_ineq(expr * t) const { in is_linear_ineq() function500 else if (is_linear_ineq(l)) { in is_occ()511 return is_linear_ineq(t); in is_occ()
1093 bool is_linear_ineq(expr * t) const { in is_linear_ineq() function in qel::fm::fm1114 else if (is_linear_ineq(l)) { in is_occ()1125 return is_linear_ineq(t); in is_occ()