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

Creates a boolean ite operation

== Synopsis

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

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
virtual
xref:llvm/SMTExprRef.adoc[SMTExprRef]
mkIte(
    xref:llvm/SMTExprRef.adoc[SMTExprRef] const& Cond,
    xref:llvm/SMTExprRef.adoc[SMTExprRef] const& T,
    xref:llvm/SMTExprRef.adoc[SMTExprRef] const& F) = 0;
----

== Return Value

An SMT expression for the if‐then‐else.

== Parameters

[cols="1,4"]
|===
| Name| Description
| *Cond*
| Condition expression.
| *T*
| Expression selected when `Cond` is true.
| *F*
| Expression selected when `Cond` is false.
|===


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