ksmt-core/io.ksmt/KContext/mkBvReductionAndExpr

mkBvReductionAndExpr

open fun <T : KBvSort> mkBvReductionAndExpr(value: KExpr<T>): KExpr<KBv1Sort>

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