Searched refs:xor_has_interesting_var (Results 1 – 4 of 4) sorted by relevance
196 bool xor_has_interesting_var(const Xor& x);
439 if (xor_has_interesting_var(x) || x.detached) { in remove_xors_without_connecting_vars()954 bool XorFinder::xor_has_interesting_var(const Xor& x) in xor_has_interesting_var() function in XorFinder