Method isStringSymbol

src/api/java/Symbol.java:46–49

Indicates whether the symbol is of string kind.

()

     * Indicates whether the symbol is of string kind.
     **/
    public boolean isStringSymbol()
    {
        return getKind() == Z3_symbol_kind.Z3_STRING_SYMBOL;
    }

    @Override
    public boolean equals(Object o)