ksmt-core/io.ksmt/KContext/mkFpAbsExprNoSimplify

mkFpAbsExprNoSimplify

open fun <T : KFpSort> mkFpAbsExprNoSimplify(value: KExpr<T>): KFpAbsExpr<T>

Create Fp absolute value (fp.abs) expression.