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

Symbol Class Documentation Mostrar archivo Open project: sslab-gatech/juxta

IsIntSymbol() public method

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