Searched defs:parallelImportClauseDuringConflictAnalysis (Results 1 – 2 of 2) sorted by relevance
241 void ParallelSolver::parallelImportClauseDuringConflictAnalysis(Clause &c,CRef confl) { in parallelImportClauseDuringConflictAnalysis() function in ParallelSolver
2016 void Solver::parallelImportClauseDuringConflictAnalysis(Clause &c, CRef confl) { in parallelImportClauseDuringConflictAnalysis() function in Solver