Protected Member Functions | |
IntExpr (Context ctx) throws Z3Exception | |
Package Functions | |
IntExpr (Context ctx, long obj) throws Z3Exception |
Int expressions
Definition at line 23 of file IntExpr.java.
IntExpr | ( | Context | ctx | ) | throws Z3Exception [inline, protected] |
IntExpr | ( | Context | ctx, |
long | obj | ||
) | throws Z3Exception [inline, package] |
Definition at line 33 of file IntExpr.java.
{ super(ctx, obj); }