Method getStringSort

src/api/java/Context.java:178–184

Retrieves the String sort of the context.

()

     * Retrieves the String sort of the context.
     **/
    public SeqSort<CharSort> getStringSort()
    {
        if (m_stringSort == null) {
            m_stringSort = mkStringSort();
        }
        return m_stringSort;
    }

    /**
     * Create a new uninterpreted sort.