Protected Member Functions | |
ArrayExpr (Context ctx) | |
Package Functions | |
ArrayExpr (Context ctx, long obj) throws Z3Exception |
Array expressions
Definition at line 24 of file ArrayExpr.java.
ArrayExpr | ( | Context | ctx, |
long | obj | ||
) | throws Z3Exception [inline, package] |
Definition at line 34 of file ArrayExpr.java.
{ super(ctx, obj); }