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