Searched refs:FormulaBool (Results 1 – 4 of 4) sorted by relevance
43 FormulaBool, enumerator106 Val->getKind() == Kind::FormulaBool; in classof()152 : BoolValue(Kind::FormulaBool, F) { in FormulaBoolValue()157 return Val->getKind() == Kind::FormulaBool; in classof()
55 case Value::Kind::FormulaBool: in operator <<()
37 case Value::Kind::FormulaBool: in debugString()
101 case Value::Kind::FormulaBool: in dump()