WatchedLiteralsSolver.cpp - OpenGrok cross reference for /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/WatchedLiteralsSolver.cpp

Lines Matching refs:posLit
62 static constexpr Literal posLit(Variable V) { return 2 * V; }  in posLit()  function
258     Formula.addClause(posLit(GetVar(Val)));  in buildBooleanFormula()
282         Formula.addClause(negLit(Var), posLit(LeftSubVar));  in buildBooleanFormula()
283         Formula.addClause(posLit(Var), negLit(LeftSubVar));  in buildBooleanFormula()
291         Formula.addClause(negLit(Var), posLit(LeftSubVar));  in buildBooleanFormula()
292         Formula.addClause(negLit(Var), posLit(RightSubVar));  in buildBooleanFormula()
293         Formula.addClause(posLit(Var), negLit(LeftSubVar), negLit(RightSubVar));  in buildBooleanFormula()
307         Formula.addClause(negLit(Var), posLit(LeftSubVar));  in buildBooleanFormula()
308         Formula.addClause(posLit(Var), negLit(LeftSubVar));  in buildBooleanFormula()
316         Formula.addClause(negLit(Var), posLit(LeftSubVar), posLit(RightSubVar));  in buildBooleanFormula()
317         Formula.addClause(posLit(Var), negLit(LeftSubVar));  in buildBooleanFormula()
318         Formula.addClause(posLit(Var), negLit(RightSubVar));  in buildBooleanFormula()
331       Formula.addClause(posLit(Var), posLit(SubVar));  in buildBooleanFormula()
343       Formula.addClause(posLit(Var), posLit(LeftSubVar));  in buildBooleanFormula()
344       Formula.addClause(posLit(Var), negLit(RightSubVar));  in buildBooleanFormula()
345       Formula.addClause(negLit(Var), negLit(LeftSubVar), posLit(RightSubVar));  in buildBooleanFormula()
358         Formula.addClause(posLit(Var));  in buildBooleanFormula()
366         Formula.addClause(posLit(Var), posLit(LeftSubVar), posLit(RightSubVar));  in buildBooleanFormula()
367         Formula.addClause(posLit(Var), negLit(LeftSubVar), negLit(RightSubVar));  in buildBooleanFormula()
368         Formula.addClause(negLit(Var), posLit(LeftSubVar), negLit(RightSubVar));  in buildBooleanFormula()
369         Formula.addClause(negLit(Var), negLit(LeftSubVar), posLit(RightSubVar));  in buildBooleanFormula()
451       if (isWatched(posLit(Var)) || isWatched(negLit(Var)))  in WatchedLiteralsSolverImpl()
473       const bool unitPosLit = watchedByUnitClause(posLit(ActiveVar));  in solve()
573       if (isWatched(posLit(Var)) || isWatched(negLit(Var)))  in reverseForcedMoves()
586                                  : posLit(Var);  in updateWatchedLiterals()
661     return !isWatched(posLit(Var)) || isWatched(negLit(Var))  in decideAssignment()
688       return WatchedLiterals.contains(posLit(Var)) ||  in activeVarsFormWatchedLiterals()