Z3
src/api/java/UninterpretedSort.java
Go to the documentation of this file.
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 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines