Searched refs:FormulaBoolValue (Results 1 – 2 of 2) sorted by relevance
147 class FormulaBoolValue final : public BoolValue {149 explicit FormulaBoolValue(const Formula &F) in FormulaBoolValue() function
54 return OS << "FormulaBool(" << cast<FormulaBoolValue>(Val).formula() << ")"; in operator <<()