Searched refs:TopBoolValue (Results 1 – 5 of 5) sorted by relevance
38 if (isa<TopBoolValue>(&Val1)) in areEquivalentValues()50 return OS << "TopBool(" << cast<TopBoolValue>(Val).getAtom() << ")"; in operator <<()
83 if (auto *Top = llvm::dyn_cast<TopBoolValue>(&V)) { in unpackValue()
173 if (isa<TopBoolValue>(Prev)) in widenDistinctValues()
76 TopBoolValue &makeTopValue() { in makeTopValue()78 return create<TopBoolValue>(makeAtomRef(makeAtom())); in makeTopValue()
116 class TopBoolValue final : public BoolValue {118 TopBoolValue(const Formula &F) : BoolValue(Kind::TopBool, F) { in TopBoolValue() function