ArraySort.java

Go to the documentation of this file.

 
package com.microsoft.z3;
 
@SuppressWarnings("unchecked")
public class ArraySort<D extends Sort, R extends Sort> extends Sort
{
    public D getDomain()
    {
        return (D) Sort.create(getContext(),
                Native.getArraySortDomain(getContext().nCtx(), getNativeObject()));
    }
 
    public D getDomain(int idx)
    {
        return (D) Sort.create(getContext(),
                               Native.getArraySortDomainN(getContext().nCtx(), getNativeObject(), idx));
    }
 
    public R getRange()
    {
        return (R) Sort.create(getContext(),
                Native.getArraySortRange(getContext().nCtx(), getNativeObject()));
    }
 
    public int getArity()
    {
        return Native.getArrayArity(getContext().nCtx(), getNativeObject());
    }
 
    ArraySort(Context ctx, long obj)
    {
        super(ctx, obj);
    }
 
    ArraySort(Context ctx, D domain, R range)
    {
        super(ctx, Native.mkArraySort(ctx.nCtx(), domain.getNativeObject(),
                range.getNativeObject()));
    }
 
    ArraySort(Context ctx, Sort[] domains, R range)
    {
        super(ctx, Native.mkArraySortN(ctx.nCtx(), domains.length, AST.arrayToNative(domains),
                range.getNativeObject()));
    }
};