19using System.Diagnostics;
66 return BigInteger.Parse(n.
ToString());
78 return BigInteger.Parse(n.
ToString());
89 return Native.Z3_get_numeral_decimal_string(
Context.nCtx, NativeObject, precision);
97 get {
return Native.Z3_get_numeral_double(
Context.nCtx, NativeObject); }
105 return Native.Z3_get_numeral_string(
Context.nCtx, NativeObject);
112 Debug.Assert(ctx !=
null);
The main interaction with Z3 happens via the Context.
override string ToString()
Returns a string representation of the numeral.
BigInteger BigIntNumerator
Converts the numerator of the rational to a BigInteger
double Double
Returns a double representing the value.
BigInteger BigIntDenominator
Converts the denominator of the rational to a BigInteger
IntNum Numerator
The numerator of a rational numeral.
override string ToString()
Returns a string representation of the numeral.
string ToDecimalString(uint precision)
Returns a string representation in decimal notation.
IntNum Denominator
The denominator of a rational numeral.