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

Lines Matching refs:negLit
65 static constexpr Literal negLit(Variable V) { return 2 * V + 1; }  in negLit()  function
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()
330       Formula.addClause(negLit(Var), negLit(SubVar));  in buildBooleanFormula()
344       Formula.addClause(posLit(Var), negLit(RightSubVar));  in buildBooleanFormula()
345       Formula.addClause(negLit(Var), negLit(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()
474       const bool unitNegLit = watchedByUnitClause(negLit(ActiveVar));  in solve()
573       if (isWatched(posLit(Var)) || isWatched(negLit(Var)))  in reverseForcedMoves()
585                                  ? negLit(Var)  in updateWatchedLiterals()
661     return !isWatched(posLit(Var)) || isWatched(negLit(Var))  in decideAssignment()
689              WatchedLiterals.contains(negLit(Var));  in activeVarsFormWatchedLiterals()