ksmt-core/io.ksmt/KContext/mkFpIsNaNExpr

mkFpIsNaNExpr

open fun <T : KFpSort> mkFpIsNaNExpr(value: KExpr<T>): KExpr<KBoolSort>

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