ksmt-core/io.ksmt/KContext/mkBvReductionAndExprNoSimplify

mkBvReductionAndExprNoSimplify

open fun <T : KBvSort> mkBvReductionAndExprNoSimplify(value: KExpr<T>): KBvReductionAndExpr<T>

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