Z3: src/api/java/BoolExpr.java Source File

Go to the documentation of this file.

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 
00038     BoolExpr(Context ctx, long obj)
00039     {
00040         super(ctx, obj);
00041     }
00042 }