ksmt-core/io.ksmt/KContext/mkFpIsNormalExprNoSimplify

mkFpIsNormalExprNoSimplify

open fun <T : KFpSort> mkFpIsNormalExprNoSimplify(value: KExpr<T>): KFpIsNormalExpr<T>

Create Fp is-normal check (fp.isNormal) expression.