20 using System.Diagnostics.Contracts;
31 [ContractVerification(
true)]
39 Contract.Requires(ctx != null);
53 throw new Z3Exception(
"Numeral is not a 64 bit unsigned");
101 public BigInteger BigInteger
108 return BigInteger.Parse(this.ToString());
override string ToString()
Returns a string representation of the numeral.
static int Z3_get_numeral_int64(Z3_context a0, Z3_ast a1, [In, Out] ref Int64 a2)
static string Z3_get_numeral_string(Z3_context a0, Z3_ast a1)
static int Z3_get_numeral_uint64(Z3_context a0, Z3_ast a1, [In, Out] ref UInt64 a2)
static int Z3_get_numeral_uint(Z3_context a0, Z3_ast a1, [In, Out] ref uint a2)
static int Z3_get_numeral_int(Z3_context a0, Z3_ast a1, [In, Out] ref int a2)
The main interaction with Z3 happens via the Context.
The exception base class for error reporting from Z3