Searched refs:SubValsToVar (Results 1 – 1 of 1) sorted by relevance
269 llvm::DenseMap<const Formula *, Variable> SubValsToVar; in buildCNF() local282 if (!SubValsToVar.try_emplace(Val, Var).second) in buildCNF()293 auto GetVar = [&SubValsToVar](const Formula *Val) { in buildCNF()294 auto ValIt = SubValsToVar.find(Val); in buildCNF()295 assert(ValIt != SubValsToVar.end()); in buildCNF()