Searched refs:TopBool (Results 1 – 4 of 4) sorted by relevance
41 TopBool, enumerator104 return Val->getKind() == Kind::TopBool || in classof()120 TopBoolValue(const Formula &F) : BoolValue(Kind::TopBool, F) { in TopBoolValue()125 return Val->getKind() == Kind::TopBool; in classof()
51 case Value::Kind::TopBool: in operator <<()
35 case Value::Kind::TopBool: in debugString()
99 case Value::Kind::TopBool: in dump()