Searched defs:left_eliminates_term (Results 1 – 2 of 2) sorted by relevance
2076 int left_eliminates_term, right_eliminates_term; in simplify_and_tree() local2206 int left_eliminates_term, right_eliminates_term; in simplify_or_tree() local
2077 int left_eliminates_term, right_eliminates_term; in simplify_and_tree() local2207 int left_eliminates_term, right_eliminates_term; in simplify_or_tree() local