Method mkRealSort

src/api/java/Context.java:214–217

Create a real sort.

()

     * Create a real sort.
     **/
    public RealSort mkRealSort()
    {
        return new RealSort(this);
    }

    /**
     * Create a new bit-vector sort.