Searched refs:init_clause_data (Results 1 – 4 of 4) sorted by relevance
186 init_clause_data(); in init()215 init_clause_data(); in reinit()307 init_clause_data(); in do_reinit_weights()312 void ddfw::init_clause_data() { in init_clause_data() function in sat::ddfw353 init_clause_data(); in do_restart()
188 void init_clause_data();