Searched refs:AtomicBool (Results 1 – 4 of 4) sorted by relevance
41 AtomicBool, enumerator103 Val->getKind() == Kind::AtomicBool || in classof()135 explicit AtomicBoolValue(const Formula &F) : BoolValue(Kind::AtomicBool, F) { in AtomicBoolValue()140 return Val->getKind() == Kind::AtomicBool; in classof()
51 case Value::Kind::AtomicBool: in operator <<()
31 case Value::Kind::AtomicBool: in debugString()
99 case Value::Kind::AtomicBool: in dump()