Home
last modified time | relevance | path

Searched refs:update_combinations (Results 1 – 8 of 8) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/sat/
H A Dsat_xor_finder.cpp141 return update_combinations(c, parity, mask); in extract_xor()
178 return update_combinations(c, parity, mask); in extract_xor()
181 bool xor_finder::update_combinations(clause& c, bool parity, unsigned mask) { in update_combinations() function in sat::xor_finder
H A Dsat_lut_finder.cpp142 return update_combinations(mask); in extract_lut()
174 return update_combinations(mask); in extract_lut()
184 bool lut_finder::update_combinations(unsigned mask) { in update_combinations() function in sat::lut_finder
H A Dsat_xor_finder.h57 bool update_combinations(clause& c, bool parity, unsigned mask);
H A Dsat_lut_finder.h62 bool update_combinations(unsigned mask);
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/
H A Dsat_lut_finder.cpp142 return update_combinations(mask); in extract_lut()
174 return update_combinations(mask); in extract_lut()
184 bool lut_finder::update_combinations(unsigned mask) { in update_combinations() function in sat::lut_finder
H A Dsat_xor_finder.cpp141 return update_combinations(c, parity, mask); in extract_xor()
178 return update_combinations(c, parity, mask); in extract_xor()
181 bool xor_finder::update_combinations(clause& c, bool parity, unsigned mask) { in update_combinations() function in sat::xor_finder
H A Dsat_xor_finder.h57 bool update_combinations(clause& c, bool parity, unsigned mask);
H A Dsat_lut_finder.h62 bool update_combinations(unsigned mask);