ksmt-core/io.ksmt/KContext/mkBvNegationExprNoSimplify

mkBvNegationExprNoSimplify

open fun <T : KBvSort> mkBvNegationExprNoSimplify(value: KExpr<T>): KBvNegationExpr<T>

Create BitVec arithmetic negation (bvneg) expression.

See also

for bitwise not.