ksmt-core/io.ksmt/KContext/mkRealToInt

mkRealToInt

open fun mkRealToInt(arg: KExpr<KRealSort>): KExpr<KIntSort>

Convert Real expression to an Int expression (floor division).