ksmt-core/io.ksmt/KContext/mkBvNegationExpr

mkBvNegationExpr

open fun <T : KBvSort> mkBvNegationExpr(value: KExpr<T>): KExpr<T>

Create BitVec arithmetic negation (bvneg) expression.

See also

for bitwise not.