Searched refs:RightSubVar (Results 1 – 1 of 1) sorted by relevance
276 const Variable RightSubVar = GetVar(&C->getRightSubValue()); in buildBooleanFormula() local278 if (LeftSubVar == RightSubVar) { in buildBooleanFormula()292 Formula.addClause(negLit(Var), posLit(RightSubVar)); in buildBooleanFormula()301 const Variable RightSubVar = GetVar(&D->getRightSubValue()); in buildBooleanFormula() local303 if (LeftSubVar == RightSubVar) { in buildBooleanFormula()318 Formula.addClause(posLit(Var), negLit(RightSubVar)); in buildBooleanFormula()337 const Variable RightSubVar = GetVar(&I->getRightSubValue()); in buildBooleanFormula() local344 Formula.addClause(posLit(Var), negLit(RightSubVar)); in buildBooleanFormula()345 Formula.addClause(negLit(Var), negLit(LeftSubVar), posLit(RightSubVar)); in buildBooleanFormula()352 const Variable RightSubVar = GetVar(&B->getRightSubValue()); in buildBooleanFormula() local[all …]