boolean isRoundNearestTiesToAway()
Z3_OP_FPA_RM_NEAREST_TIES_TO_EVEN
boolean isRoundNearestTiesToEven()
boolean isRoundTowardNegative()
boolean isRoundTowardZero()
Z3_OP_FPA_RM_NEAREST_TIES_TO_AWAY
FPRMNum(Context ctx, long obj)
Z3_OP_FPA_RM_TOWARD_POSITIVE
Z3_decl_kind getDeclKind()
Z3_OP_FPA_RM_TOWARD_NEGATIVE
boolean isRoundTowardPositive()