Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Package Functions
ArithSort Class Reference
+ 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);
        }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines