ksmt-core/io.ksmt/KContext/mkFpIsInfiniteExpr

mkFpIsInfiniteExpr

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

Create Fp is-inf check (fp.isInfinite) expression.