Searched refs:negLit (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | WatchedLiteralsSolver.cpp | 282 Formula.addClause(negLit(Var), posLit(LeftSubVar)); in buildBooleanFormula()
283 Formula.addClause(posLit(Var), negLit(LeftSubVar)); in buildBooleanFormula()
293 Formula.addClause(posLit(Var), negLit(LeftSubVar), 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()
585 ? negLit(Var) in updateWatchedLiterals()
[all …]
|