17package com.microsoft.z3;
19import com.microsoft.z3.enumerations.Z3_decl_kind;
FuncDecl< R > getFuncDecl()
boolean isRoundTowardPositive()
boolean isRoundTowardZero()
boolean isRoundNearestTiesToEven()
boolean isRoundTowardNegative()
boolean isRoundNearestTiesToAway()
FPRMNum(Context ctx, long obj)
Z3_decl_kind
The different kinds of interpreted function kinds.