Searched refs:AtomicBool (Results 1 – 4 of 4) sorted by relevance
42 AtomicBool, enumerator105 Val->getKind() == Kind::AtomicBool || in classof()137 explicit AtomicBoolValue(const Formula &F) : BoolValue(Kind::AtomicBool, F) { in AtomicBoolValue()142 return Val->getKind() == Kind::AtomicBool; in classof()
53 case Value::Kind::AtomicBool: in operator <<()
33 case Value::Kind::AtomicBool: in debugString()
100 case Value::Kind::AtomicBool: in dump()