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

Package Functions

 SetSort (Context ctx, long obj) throws Z3Exception
 SetSort (Context ctx, Sort ty) throws Z3Exception

Detailed Description

Set sorts.

Definition at line 23 of file SetSort.java.


Constructor & Destructor Documentation

SetSort ( Context  ctx,
long  obj 
) throws Z3Exception [inline, package]

Definition at line 25 of file SetSort.java.

    {
        super(ctx, obj);
    }
SetSort ( Context  ctx,
Sort  ty 
) throws Z3Exception [inline, package]

Definition at line 30 of file SetSort.java.

    {
        super(ctx, Native.mkSetSort(ctx.nCtx(), ty.getNativeObject()));
    }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines