Searched refs:SubValsToVar (Results 1 – 1 of 1) sorted by relevance
188 llvm::DenseMap<BoolValue *, Variable> SubValsToVar; in buildBooleanFormula() local201 if (!SubValsToVar.try_emplace(Val, Var).second) in buildBooleanFormula()246 auto GetVar = [&SubValsToVar](const BoolValue *Val) { in buildBooleanFormula()247 auto ValIt = SubValsToVar.find(Val); in buildBooleanFormula()248 assert(ValIt != SubValsToVar.end()); in buildBooleanFormula()