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 }