Searched refs:get_clause_filter (Results 1 – 8 of 8) sorted by relevance
58 unsigned filter = get_clause_filter(c); in extract_xor()228 clause_filter cf(get_clause_filter(c), cp); in init_clause_filter()236 unsigned xor_finder::get_clause_filter(clause& c) { in get_clause_filter() function in sat::xor_finder
60 unsigned filter = get_clause_filter(c); in check_lut()266 clause_filter cf(get_clause_filter(c), cp); in init_clause_filter()274 unsigned lut_finder::get_clause_filter(clause const& c) { in get_clause_filter() function in sat::lut_finder
61 unsigned get_clause_filter(clause& c);
65 unsigned get_clause_filter(clause const& c);