00001 00018 package com.microsoft.z3; 00019 00023 public class BoolExpr extends Expr 00024 { 00028 protected BoolExpr(Context ctx) 00029 { 00030 super(ctx); 00031 } 00032 00037 BoolExpr(Context ctx, long obj) throws Z3Exception 00038 { 00039 super(ctx, obj); 00040 } 00041 }