Microsoft.Z3.IntNum.ToString C# (CSharp) Méthode

Returns a string representation of the numeral.

public ToString ( ) : string
Résultat	string

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

IntNum