Searched refs:GetVar (Results 1 – 1 of 1) sorted by relevance
246 auto GetVar = [&SubValsToVar](const BoolValue *Val) { in buildBooleanFormula() local258 Formula.addClause(posLit(GetVar(Val))); in buildBooleanFormula()268 const Variable Var = GetVar(Val); in buildBooleanFormula()275 const Variable LeftSubVar = GetVar(&C->getLeftSubValue()); in buildBooleanFormula()276 const Variable RightSubVar = GetVar(&C->getRightSubValue()); in buildBooleanFormula()300 const Variable LeftSubVar = GetVar(&D->getLeftSubValue()); in buildBooleanFormula()301 const Variable RightSubVar = GetVar(&D->getRightSubValue()); in buildBooleanFormula()325 const Variable SubVar = GetVar(&N->getSubVal()); in buildBooleanFormula()336 const Variable LeftSubVar = GetVar(&I->getLeftSubValue()); in buildBooleanFormula()337 const Variable RightSubVar = GetVar(&I->getRightSubValue()); in buildBooleanFormula()[all …]