Searched refs:addNewClauses (Results 1 – 2 of 2) sorted by relevance
82 db->addNewClauses(cnf); in SATDecisionHook()89 db->addNewClauses(cnf); in SATDecisionHook()112 db->addNewClauses(cnf); in SATAssignmentHook()124 db->addNewClauses(cnf); in SATDeductionHook()130 db->addNewClauses(cnf); in SATDeductionHook()289 void DPLLTBasic::addNewClauses(CNF_Formula_Impl& cnf) in addNewClauses() function in DPLLTBasic
62 void addNewClauses(CNF_Formula_Impl& cnf);