00001 00018 package com.microsoft.z3; 00019 00023 public class UninterpretedSort extends Sort 00024 { 00025 UninterpretedSort(Context ctx, long obj) throws Z3Exception 00026 { 00027 super(ctx, obj); 00028 } 00029 00030 UninterpretedSort(Context ctx, Symbol s) throws Z3Exception 00031 { 00032 super(ctx, Native.mkUninterpretedSort(ctx.nCtx(), s.getNativeObject())); 00033 } 00034 }