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