42 if (Native.Z3_get_numeral_uint64(
Context.nCtx, NativeObject, ref res) == 0)
56 if (Native.Z3_get_numeral_int(
Context.nCtx, NativeObject, ref res) == 0)
70 if (Native.Z3_get_numeral_int64(
Context.nCtx, NativeObject, ref res) == 0)
84 if (Native.Z3_get_numeral_uint(
Context.nCtx, NativeObject, ref res) == 0)
override string ToString()
Returns a string representation of the numeral.
Finite-domain expressions
The main interaction with Z3 happens via the Context.