Searched refs:AtomicBoolValue (Results 1 – 3 of 3) sorted by relevance
133 class AtomicBoolValue final : public BoolValue {135 explicit AtomicBoolValue(const Formula &F) : BoolValue(Kind::AtomicBool, F) { in AtomicBoolValue() function
50 return OS << "AtomicBool(" << cast<AtomicBoolValue>(Val).getAtom() << ")"; in operator <<()
116 ? (BoolValue *)&create<AtomicBoolValue>(F) in makeBoolValue()