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