Microsoft.Z3.Symbol.IsStringSymbol C# (CSharp) Method

Symbol Class Documentation ファイルを表示 Open project: sslab-gatech/juxta

IsStringSymbol() public method

Indicates whether the symbol is of string kind.
public IsStringSymbol ( ) : bool
return bool 
        public bool IsStringSymbol()
        {
            return Kind == Z3_symbol_kind.Z3_STRING_SYMBOL;
        }
Symbol
Create
IsIntSymbol
IsStringSymbol
Symbol
ToString