Package Functions | |
UninterpretedSort (Context ctx, long obj) throws Z3Exception | |
UninterpretedSort (Context ctx, Symbol s) throws Z3Exception |
Uninterpreted Sorts
Definition at line 23 of file UninterpretedSort.java.
UninterpretedSort | ( | Context | ctx, |
long | obj | ||
) | throws Z3Exception [inline, package] |
Definition at line 25 of file UninterpretedSort.java.
{ super(ctx, obj); }
UninterpretedSort | ( | Context | ctx, |
Symbol | s | ||
) | throws Z3Exception [inline, package] |
Definition at line 30 of file UninterpretedSort.java.
{ super(ctx, Native.mkUninterpretedSort(ctx.nCtx(), s.getNativeObject())); }