Searched refs:subsume_implicit (Results 1 – 10 of 10) sorted by relevance
60 sub->subsume_implicit(); in TEST_F()72 sub->subsume_implicit(); in TEST_F()86 sub->subsume_implicit(); in TEST_F()98 sub->subsume_implicit(); in TEST_F()
45 void subsume_implicit(bool check_stats = true, std::string caller = std::string());
122 void SubsumeImplicit::subsume_implicit(const bool check_stats, std::string caller) in subsume_implicit() function in SubsumeImplicit
225 solver->subsumeImplicit->subsume_implicit(false, "-breakid"); in doit()
2068 subsumeImplicit->subsume_implicit(); in execute_inprocess_strategy()