package z3

  1. Overview
  2. Docs
val mk_sort : context -> Sort.sort
val is_fprm : Expr.expr -> bool
val mk_round_nearest_ties_to_even : context -> Expr.expr
val mk_rne : context -> Expr.expr
val mk_round_nearest_ties_to_away : context -> Expr.expr
val mk_rna : context -> Expr.expr
val mk_round_toward_positive : context -> Expr.expr
val mk_rtp : context -> Expr.expr
val mk_round_toward_negative : context -> Expr.expr
val mk_rtn : context -> Expr.expr
val mk_round_toward_zero : context -> Expr.expr
val mk_rtz : context -> Expr.expr