Searched refs:AddUniqueClauseToFormula (Results 1 – 2 of 2) sorted by relevance
235 void AddUniqueClauseToFormula(Formula &F, Clause C);
1976 AddUniqueClauseToFormula(Res, std::move(C)); in Normalize()2013 void SubsumptionChecker::AddUniqueClauseToFormula(Formula &F, Clause C) { in AddUniqueClauseToFormula() function in SubsumptionChecker