Searched refs:TopBool (Results 1 – 4 of 4) sorted by relevance
40 TopBool, enumerator102 return Val->getKind() == Kind::TopBool || in classof()118 TopBoolValue(const Formula &F) : BoolValue(Kind::TopBool, F) { in TopBoolValue()123 return Val->getKind() == Kind::TopBool; in classof()
49 case Value::Kind::TopBool: in operator <<()
33 case Value::Kind::TopBool: in debugString()
98 case Value::Kind::TopBool: in dump()