Searched refs:positive_children (Results 1 – 1 of 1) sorted by relevance
1209 vector<Expr> positive_children, negative_children; in extractTermsFromInequality() local1219 positive_children.push_back(term); in extractTermsFromInequality()1223 positive_children.push_back(rhs); in extractTermsFromInequality()1227 int num_vars = positive_children.size(); in extractTermsFromInequality()1230 t1 = (num_vars > 1 ? canon(plusExpr(positive_children)).getRHS() : positive_children[0]); in extractTermsFromInequality()