ksmt-core/io.ksmt/KContext/mkFpIsNegativeExprNoSimplify

mkFpIsNegativeExprNoSimplify

open fun <T : KFpSort> mkFpIsNegativeExprNoSimplify(value: KExpr<T>): KFpIsNegativeExpr<T>

Create Fp is-negative check (fp.isNegative) expression.