Inheritance diagram for UninterpretedSort:

Package Functions
	UninterpretedSort (Context ctx, long obj) throws Z3Exception
	UninterpretedSort (Context ctx, Symbol s) throws Z3Exception

Detailed Description

Uninterpreted Sorts

Definition at line 23 of file UninterpretedSort.java.

Constructor & Destructor Documentation

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

Definition at line 25 of file UninterpretedSort.java.

    {
        super(ctx, obj);
    }

UninterpretedSort	(	Context	ctx,
		Symbol	s
	)		throws Z3Exception `[inline, package]`

Definition at line 30 of file UninterpretedSort.java.

    {
        super(ctx, Native.mkUninterpretedSort(ctx.nCtx(), s.getNativeObject()));
    }