Searched refs:posLit (Results 1 – 1 of 1) sorted by relevance
62 static constexpr Literal posLit(Variable V) { return 2 * V; } in posLit() function258 Formula.addClause(posLit(GetVar(Val))); in buildBooleanFormula()282 Formula.addClause(negLit(Var), posLit(LeftSubVar)); in buildBooleanFormula()316 Formula.addClause(negLit(Var), posLit(LeftSubVar), posLit(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()358 Formula.addClause(posLit(Var)); in buildBooleanFormula()366 Formula.addClause(posLit(Var), posLit(LeftSubVar), posLit(RightSubVar)); in buildBooleanFormula()586 : posLit(Var); in updateWatchedLiterals()[all …]