Public Member Functions | |
def | sort |
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)