Searched refs:generate_CDB (Results 1 – 2 of 2) sorted by relevance
147 void DPLLTBasic::generate_CDB (CNF_Formula_Impl& cnf) in generate_CDB() function in DPLLTBasic309 generate_CDB(cnf); in addNewClauses()429 generate_CDB(*d_cnf); in checkSat()486 generate_CDB(cnfImpl); in continueCheck()
52 void generate_CDB (CNF_Formula_Impl& cnf);