Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Package Functions
BoolSort Class Reference
+ Inheritance diagram for BoolSort:

Package Functions

 BoolSort (Context ctx, long obj) throws Z3Exception
 BoolSort (Context ctx) throws Z3Exception

Detailed Description

A Boolean sort.

Definition at line 23 of file BoolSort.java.


Constructor & Destructor Documentation

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())); {  }}
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines