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.BoolSort
Definition: BoolSort.java:24
com.microsoft.z3.Context
Definition: Context.java:36
com.microsoft.z3.Context.nCtx
long nCtx()
Definition: Context.java:4008
com.microsoft.z3.Context.mkBoolSort
BoolSort mkBoolSort()
Definition: Context.java:161
com.microsoft.z3.Sort
Definition: Sort.java:27