65 static constexpr Literal posLit(Variable V) { return 2 * V; }  in posLit()  function
306     builder.addClause(posLit(GetVar(Val)));  in buildCNF()
326       CNF.addClause(Val->literal() ? posLit(Var) : negLit(Var));  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()
343         builder.addClause({negLit(Var), posLit(RHS)});  in buildCNF()
344         builder.addClause({posLit(Var), negLit(LHS), negLit(RHS)});  in buildCNF()
356         builder.addClause({negLit(Var), posLit(LHS)});  in buildCNF()
357         builder.addClause({posLit(Var), negLit(LHS)});  in buildCNF()
362         builder.addClause({negLit(Var), posLit(LHS), posLit(RHS)});  in buildCNF()
363         builder.addClause({posLit(Var), negLit(LHS)});  in buildCNF()
364         builder.addClause({posLit(Var), negLit(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()
388       builder.addClause({negLit(Var), negLit(LHS), posLit(RHS)});  in buildCNF()
399         builder.addClause(posLit(Var));  in buildCNF()
408       builder.addClause({posLit(Var), posLit(LHS), posLit(RHS)});  in buildCNF()
409       builder.addClause({posLit(Var), negLit(LHS), negLit(RHS)});  in buildCNF()
410       builder.addClause({negLit(Var), posLit(LHS), negLit(RHS)});  in buildCNF()
411       builder.addClause({negLit(Var), negLit(LHS), posLit(RHS)});  in buildCNF()
518       if (isWatched(posLit(Var)) || isWatched(negLit(Var)))  in WatchedLiteralsSolverImpl()
551       const bool unitPosLit = watchedByUnitClause(posLit(ActiveVar));  in solve()
650       if (isWatched(posLit(Var)) || isWatched(negLit(Var)))  in reverseForcedMoves()
663                                  : posLit(Var);  in updateWatchedLiterals()
737     return !isWatched(posLit(Var)) || isWatched(negLit(Var))  in decideAssignment()
764       return WatchedLiterals.contains(posLit(Var)) ||  in activeVarsFormWatchedLiterals()