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

Lines Matching refs:addClause
145   void addClause(Literal L1, Literal L2 = NullLit, Literal L3 = NullLit) {  in addClause()  function
258     Formula.addClause(posLit(GetVar(Val)));  in buildBooleanFormula()
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()
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()
345       Formula.addClause(negLit(Var), negLit(LeftSubVar), posLit(RightSubVar));  in buildBooleanFormula()
358         Formula.addClause(posLit(Var));  in buildBooleanFormula()
366         Formula.addClause(posLit(Var), posLit(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()