ksmt-core/io.ksmt/KContext/mkRealIsIntNoSimplify

mkRealIsIntNoSimplify

open fun mkRealIsIntNoSimplify(arg: KExpr<KRealSort>): KIsIntRealExpr

Check whether the given Real expression has an integer value.