Z3
src/api/java/ArrayExpr.java
Go to the documentation of this file.
00001 
00018 package com.microsoft.z3;
00019 
00020 
00024 public class ArrayExpr extends Expr
00025 {
00029         protected ArrayExpr(Context ctx)
00030         {
00031                 super(ctx);
00032         }
00033 
00034         ArrayExpr(Context ctx, long obj) throws Z3Exception
00035         {
00036                 super(ctx, obj);
00037         }
00038 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines