19using System.Diagnostics;
41 if (Native.Z3_get_numeral_uint64(
Context.nCtx, NativeObject, ref res) == 0)
42 throw new Z3Exception(
"Numeral is not a 64 bit unsigned");
55 if (Native.Z3_get_numeral_int(
Context.nCtx, NativeObject, ref res) == 0)
69 if (Native.Z3_get_numeral_int64(
Context.nCtx, NativeObject, ref res) == 0)
83 if (Native.Z3_get_numeral_uint(
Context.nCtx, NativeObject, ref res) == 0)
107 return Native.Z3_get_numeral_string(
Context.nCtx, NativeObject);
115 return Native.Z3_get_numeral_binary_string(
Context.nCtx, NativeObject);
119 internal BitVecNum(
Context ctx, IntPtr obj) : base(ctx, obj) { Debug.Assert(ctx !=
null); }
string ToBinaryString()
Returns a binary string representation of the numeral.
BigInteger BigInteger
Retrieve the BigInteger value.
uint UInt
Retrieve the int value.
UInt64 UInt64
Retrieve the 64-bit unsigned integer value.
Int64 Int64
Retrieve the 64-bit int value.
override string ToString()
Returns a decimal string representation of the numeral.
int Int
Retrieve the int value.
The main interaction with Z3 happens via the Context.
The exception base class for error reporting from Z3