ksmt-core/io.ksmt/KContext/mkFpIsNaNExprNoSimplify

mkFpIsNaNExprNoSimplify

open fun <T : KFpSort> mkFpIsNaNExprNoSimplify(value: KExpr<T>): KFpIsNaNExpr<T>

Create Fp is-nan check (fp.isNaN) expression.