Package Functions | |
ArithSort (Context ctx, long obj) throws Z3Exception |
An arithmetic sort, i.e., Int or Real.
Definition at line 23 of file ArithSort.java.
ArithSort | ( | Context | ctx, |
long | obj | ||
) | throws Z3Exception [inline, package] |
Definition at line 25 of file ArithSort.java.
{ super(ctx, obj); }