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