Package Functions | |
SetSort (Context ctx, long obj) throws Z3Exception | |
SetSort (Context ctx, Sort ty) throws Z3Exception |
Set sorts.
Definition at line 23 of file SetSort.java.
SetSort | ( | Context | ctx, |
long | obj | ||
) | throws Z3Exception [inline, package] |
Definition at line 25 of file SetSort.java.
{ super(ctx, obj); }
SetSort | ( | Context | ctx, |
Sort | ty | ||
) | throws Z3Exception [inline, package] |
Definition at line 30 of file SetSort.java.
{ super(ctx, Native.mkSetSort(ctx.nCtx(), ty.getNativeObject())); }