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

Go to the documentation of this file.

00001 
00018 package com.microsoft.z3;
00019 
00020 
00024 public class ArrayExpr extends Expr
00025 {
00029     ArrayExpr(Context ctx, long obj)
00030     {
00031         super(ctx, obj);
00032     }
00033 }