Z3
BoolSort.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
23 public class BoolSort extends Sort
24 {
25  BoolSort(Context ctx, long obj) { super(ctx, obj); { }}
26  BoolSort(Context ctx) { super(ctx, Native.mkBoolSort(ctx.nCtx())); { }}
27 };
static long mkBoolSort(long a0)
Definition: Native.java:888