Searched refs:FormulaValues (Results 1 – 2 of 2) sorted by relevance
144 llvm::DenseMap<const Formula *, BoolValue *> FormulaValues; variable
113 auto [It, Inserted] = FormulaValues.try_emplace(&F); in makeBoolValue()