ksmt-core/io.ksmt/KContext/mkFpIsZeroExpr

mkFpIsZeroExpr

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

Create Fp is-zero check (fp.isZero) expression.