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