ksmt-core/io.ksmt/KContext/mkFpIsPositiveExpr

mkFpIsPositiveExpr

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

Create Fp is-positive check (fp.isPositive) expression.