52 if (Native.Z3_get_numeral_uint64(
Context.nCtx, NativeObject, ref res) == 0)
66 if (Native.Z3_get_numeral_int(
Context.nCtx, NativeObject, ref res) == 0)
80 if (Native.Z3_get_numeral_int64(
Context.nCtx, NativeObject, ref res) == 0)
94 if (Native.Z3_get_numeral_uint(
Context.nCtx, NativeObject, ref res) == 0)
The main interaction with Z3 happens via the Context.