Inheritance diagram for IntSort:

Package Functions
	IntSort (Context ctx, long obj) throws Z3Exception
	IntSort (Context ctx) throws Z3Exception

Detailed Description

An Integer sort

Definition at line 23 of file IntSort.java.

Constructor & Destructor Documentation

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

Definition at line 25 of file IntSort.java.

        {
                super(ctx, obj);
        }

IntSort ( Context ctx ) throws Z3Exception [inline, package]

Definition at line 30 of file IntSort.java.

        {
                super(ctx, Native.mkIntSort(ctx.nCtx()));
        }