Z3
src/api/java/BoolExpr.java
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 
00037         BoolExpr(Context ctx, long obj) throws Z3Exception
00038         {
00039                 super(ctx, obj);
00040         }
00041 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines