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 };
com.microsoft.z3.Sort
Definition: Sort.java:27
com.microsoft.z3.BoolSort
Definition: BoolSort.java:24
com.microsoft.z3.Context.nCtx
long nCtx()
Definition: Context.java:3966
com.microsoft.z3.Native.mkBoolSort
static long mkBoolSort(long a0)
Definition: Native.java:954
com.microsoft.z3.Native
Definition: Native.java:4
com.microsoft.z3.Context
Definition: Context.java:35