ksmt-core/io.ksmt/KContext/mkFpEqualExprNoSimplify

mkFpEqualExprNoSimplify

open fun <T : KFpSort> mkFpEqualExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KFpEqualExpr<T>

Create Fp equality comparison (fp.eq) expression. Checks arguments equality using IEEE 754-2008 rules.

See also

for smt equality.