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 };