ArraySort.java

Go to the documentation of this file.

package com.microsoft.z3;

public class ArraySort extends Sort
{
    public Sort getDomain()
    {
        return Sort.create(getContext(),
                Native.getArraySortDomain(getContext().nCtx(), getNativeObject()));
    }

    public Sort getRange()
    {
        return Sort.create(getContext(),
                Native.getArraySortRange(getContext().nCtx(), getNativeObject()));
    }

    ArraySort(Context ctx, long obj)
    {
        super(ctx, obj);
    }

    ArraySort(Context ctx, Sort domain, Sort range)
    {
        super(ctx, Native.mkArraySort(ctx.nCtx(), domain.getNativeObject(),
                range.getNativeObject()));
    }
};