ksmt-core/io.ksmt/KContext/mkBvReductionOrExprNoSimplify

mkBvReductionOrExprNoSimplify

open fun <T : KBvSort> mkBvReductionOrExprNoSimplify(value: KExpr<T>): KBvReductionOrExpr<T>

Create bitwise OR reduction (bvredor) expression. Reduce all bits to a single bit with OR operation.