Searched refs:TopBoolValue (Results 1 – 4 of 4) sorted by relevance
36 if (isa<TopBoolValue>(&Val1)) in areEquivalentValues()48 return OS << "TopBool(" << cast<TopBoolValue>(Val).getAtom() << ")"; in operator <<()
88 if (auto *Top = llvm::dyn_cast<TopBoolValue>(&V)) { in unpackValue()
171 if (isa<TopBoolValue>(Prev)) in widenDistinctValues()
116 class TopBoolValue final : public BoolValue {118 TopBoolValue(const Formula &F) : BoolValue(Kind::TopBool, F) { in TopBoolValue() function