ksmt-core/io.ksmt/KContext/mkIte

mkIte

open fun <T : KSort> mkIte(condition: KExpr<KBoolSort>, trueBranch: KExpr<T>, falseBranch: KExpr<T>): KExpr<T>

Create ITE (if-then-else) expression.