[#llvm-SMTSolver-setBoolParam]
= xref:llvm.adoc[llvm]::xref:llvm/SMTSolver.adoc[SMTSolver]::setBoolParam
:relfileprefix: ../../
:mrdocs:

Sets the requested option.

== Synopsis

Declared in `<llvm/Support/SMTAPI.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
virtual
void
setBoolParam(
    xref:llvm/StringRef.adoc[StringRef] Key,
    bool Value) = 0;
----

== Parameters

[cols="1,4"]
|===
| Name| Description
| *Key*
| Option name.
| *Value*
| Boolean option value.
|===


[.small]#Created with https://www.mrdocs.com[MrDocs]#