ksmt-core/io.ksmt/KContext/mkFpNegationExpr

mkFpNegationExpr

open fun <T : KFpSort> mkFpNegationExpr(value: KExpr<T>): KExpr<T>

Create Fp negation (fp.neg) expression.