Microsoft.Z3.Symbol.IsStringSymbol C# (CSharp) Метод

Документация по классу Symbol Показать файл Открыть проект

IsStringSymbol() публичный Метод

Indicates whether the symbol is of string kind.
public IsStringSymbol ( ) : bool
Результат bool 
        public bool IsStringSymbol()
        {
            return Kind == Z3_symbol_kind.Z3_STRING_SYMBOL;
        }
Symbol
Create
IsIntSymbol
IsStringSymbol
Symbol
ToString