Searched defs:can_be_removed (Results 1 – 9 of 9) sorted by relevance
74 bool can_be_removed() const { return ref_count_ == 0; } in can_be_removed() function
149 bool can_be_removed() const { return ref_count_ == 0; } in can_be_removed() function
37 Mask can_be_removed; member
322 std::vector<bool> can_be_removed(NumVariables(), true); in Presolve() local326 bool SatPresolver::Presolve(const std::vector<bool>& can_be_removed) { in Presolve()1351 std::vector<bool> can_be_removed(presolver.NumVariables(), true); in SolveWithPresolve() local
2140 bool can_be_removed = false; in MinimizeConflictSimple() local
233 ulint can_be_removed = data_len - offset; in remove_middle_page() local
436 ulint can_be_removed = lob_size - offset; in remove_middle_gen() local
443 bool can_be_removed = true; in cleanup() local
1905 bool can_be_removed = false; in Run() local