Inheritance diagram for ArithSort:

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

Detailed Description

An arithmetic sort, i.e., Int or Real.

Definition at line 23 of file ArithSort.java.

Constructor & Destructor Documentation

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

Definition at line 25 of file ArithSort.java.

        {
                super(ctx, obj);
        }