Microsoft.Automata.Z3.RankedAlphabet.ToString C# (CSharp) Метод

Returns the name of the alphabet sort.

public ToString ( ) : string
Результат	string

        public override string ToString()
        {
            return AlphabetSort.ToString();
        }

RankedAlphabet