Searched defs:left_eliminates_term (Results 1 – 2 of 2) sorted by relevance
2078 int left_eliminates_term, right_eliminates_term; in simplify_and_tree() local2208 int left_eliminates_term, right_eliminates_term; in simplify_or_tree() local