Microsoft.Z3.IntNum.ToString C# (CSharp) 메소드

Returns a string representation of the numeral.

public ToString ( ) : string
리턴	string

        public override string ToString()
        {
            return Native.Z3_get_numeral_string(Context.nCtx, NativeObject);
        }

IntNum