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()));
    }