BoolSort.java

Go to the documentation of this file.

 
package com.microsoft.z3;
 
public class BoolSort extends Sort
{
    BoolSort(Context ctx, long obj) { super(ctx, obj); {  }}
    BoolSort(Context ctx) { super(ctx, Native.mkBoolSort(ctx.nCtx())); {  }}
};