Z3
src/api/java/IntSort.java
Go to the documentation of this file.
00001 
00018 package com.microsoft.z3;
00019 
00023 public class IntSort extends ArithSort
00024 {
00025         IntSort(Context ctx, long obj) throws Z3Exception
00026         {
00027                 super(ctx, obj);
00028         }
00029 
00030         IntSort(Context ctx) throws Z3Exception
00031         {
00032                 super(ctx, Native.mkIntSort(ctx.nCtx()));
00033         }
00034 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines