Searched refs:bi_space_for_more_constants (Results 1 – 1 of 1) sorted by relevance
712 bi_space_for_more_constants(struct bi_clause_state *clause) in bi_space_for_more_constants() function794 bi_space_for_more_constants(clause); in bi_update_fau()1694 if (!bi_space_for_more_constants(&clause_state)) in bi_schedule_clause()