17 package com.microsoft.z3;
Z3_OP_FPA_RM_TOWARD_POSITIVE
boolean isRoundNearestTiesToEven()
Z3_OP_FPA_RM_NEAREST_TIES_TO_EVEN
boolean isRoundTowardZero()
boolean isRoundTowardNegative()
FPRMNum(Context ctx, long obj)
Z3_decl_kind getDeclKind()
boolean isRoundTowardPositive()
Z3_OP_FPA_RM_NEAREST_TIES_TO_AWAY
Z3_OP_FPA_RM_TOWARD_NEGATIVE
boolean isRoundNearestTiesToAway()