|
Z3
|
|
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
|
Z3
|
|
Inheritance diagram for DatatypeRef:Public Member Functions | |
| def | sort |
| Public Member Functions inherited from ExprRef | |
| def | as_ast |
| def | get_id |
| def | sort |
| def | sort_kind |
| def | __eq__ |
| def | __ne__ |
| def | decl |
| def | num_args |
| def | arg |
| def | children |
| Public Member Functions inherited from AstRef | |
| def | __init__ |
| def | __del__ |
| def | __str__ |
| def | __repr__ |
| def | sexpr |
| def | as_ast |
| def | get_id |
| def | ctx_ref |
| def | eq |
| def | translate |
| def | hash |
| Public Member Functions inherited from Z3PPObject | |
| def | use_pp |
Additional Inherited Members | |
| Data Fields inherited from AstRef | |
| ast | |
| ctx | |
| def sort | ( | self | ) |
Return the datatype sort of the datatype expression `self`.
Definition at line 4454 of file z3py.py.
1.8.5
