Method isIntSymbol

src/api/java/Symbol.java:38–41

Indicates whether the symbol is of Int kind

()

     * Indicates whether the symbol is of Int kind
     **/
    public boolean isIntSymbol()
    {
        return getKind() == Z3_symbol_kind.Z3_INT_SYMBOL;
    }

    /**
     * Indicates whether the symbol is of string kind.