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.

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