ksmt-core/io.ksmt/KContext/mkFpIsNormalExpr

mkFpIsNormalExpr

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

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