Searched refs:unitPosLit (Results 1 – 1 of 1) sorted by relevance
172 const bool unitPosLit = watchedByUnitClause(posLit(ActiveVar)); in solve() local174 if (unitPosLit && unitNegLit) { in solve()195 } else if (unitPosLit || unitNegLit) { in solve()203 unitPosLit ? Assignment::AssignedTrue : Assignment::AssignedFalse; in solve()