ksmt-core/io.ksmt/KContext/mkArithDivNoSimplify

mkArithDivNoSimplify

open fun <T : KArithSort> mkArithDivNoSimplify(lhs: KExpr<T>, rhs: KExpr<T>): KDivArithExpr<T>

Create an Int/Real arithmetic division expression.

See also

for the operation details.