Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Public Member Functions
DatatypeRef Class Reference
+ Inheritance diagram for DatatypeRef:

Public Member Functions

def sort

Detailed Description

Datatype expressions.

Definition at line 4392 of file z3py.py.


Member Function Documentation

def sort (   self)
Return the datatype sort of the datatype expression `self`.

Reimplemented from ExprRef.

Definition at line 4394 of file z3py.py.

04394 
04395     def sort(self):
04396         """Return the datatype sort of the datatype expression `self`."""
04397         return DatatypeSortRef(Z3_get_sort(self.ctx_ref(), self.as_ast()), self.ctx)

 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines