Searched refs:posLit (Results 1 – 1 of 1) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | WatchedLiteralsSolver.cpp | 306 builder.addClause(posLit(GetVar(Val))); in buildCNF()
336 builder.addClause({negLit(Var), posLit(LHS)}); in buildCNF()
337 builder.addClause({posLit(Var), negLit(LHS)}); in buildCNF()
342 builder.addClause({negLit(Var), posLit(LHS)}); in buildCNF()
362 builder.addClause({negLit(Var), posLit(LHS), posLit(RHS)}); in buildCNF()
375 builder.addClause({posLit(Var), posLit(Operand)}); in buildCNF()
386 builder.addClause({posLit(Var), posLit(LHS)}); in buildCNF()
387 builder.addClause({posLit(Var), negLit(RHS)}); in buildCNF()
399 builder.addClause(posLit(Var)); in buildCNF()
408 builder.addClause({posLit(Var), posLit(LHS), posLit(RHS)}); in buildCNF()
[all …]
|