Package Functions | |
BoolSort (Context ctx, long obj) throws Z3Exception | |
BoolSort (Context ctx) throws Z3Exception |
A Boolean sort.
Definition at line 23 of file BoolSort.java.
BoolSort | ( | Context | ctx, |
long | obj | ||
) | throws Z3Exception [inline, package] |
Definition at line 25 of file BoolSort.java.
{ super(ctx, obj); { }}
BoolSort | ( | Context | ctx | ) | throws Z3Exception [inline, package] |
Definition at line 26 of file BoolSort.java.
{ super(ctx, Native.mkBoolSort(ctx.nCtx())); { }}