Searched refs:LeftSubVar (Results 1 – 1 of 1) sorted by relevance
275 const Variable LeftSubVar = GetVar(&C->getLeftSubValue()); in buildBooleanFormula() local278 if (LeftSubVar == RightSubVar) { 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()303 if (LeftSubVar == RightSubVar) { in buildBooleanFormula()307 Formula.addClause(negLit(Var), posLit(LeftSubVar)); in buildBooleanFormula()308 Formula.addClause(posLit(Var), negLit(LeftSubVar)); in buildBooleanFormula()317 Formula.addClause(posLit(Var), negLit(LeftSubVar)); in buildBooleanFormula()343 Formula.addClause(posLit(Var), posLit(LeftSubVar)); in buildBooleanFormula()[all …]