Searched defs:left_eliminates_term (Results 1 – 2 of 2) sorted by relevance
2041 int left_eliminates_term, right_eliminates_term; in simplify_and_tree() local2171 int left_eliminates_term, right_eliminates_term; in simplify_or_tree() local
2973 int left_eliminates_term, right_eliminates_term; local3092 int left_eliminates_term, right_eliminates_term; local