ArrayExpr Class Reference

Inheritance diagram for ArrayExpr:

Protected Member Functions
	ArrayExpr (Context ctx)
Package Functions
	ArrayExpr (Context ctx, long obj) throws Z3Exception

---

Detailed Description

Array expressions

Definition at line 24 of file ArrayExpr.java.

---

Constructor & Destructor Documentation

ArrayExpr

(

Context

ctx

)

[inline, protected]

Constructor for ArrayExpr

Definition at line 29 of file ArrayExpr.java.

        {
                super(ctx);
        }

ArrayExpr	(	Context	ctx,
		long	obj
	)		throws Z3Exception [inline, package]

Definition at line 34 of file ArrayExpr.java.

        {
                super(ctx, obj);
        }