|
Z3
|
|
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
|
Z3
|
|
Patterns. More...
Inheritance diagram for PatternRef:Public Member Functions | |
| def | as_ast |
| def | get_id |
| 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 | |
Patterns.
Patterns are hints for quantifier instantiation. See http://rise4fun.com/Z3Py/tutorial/advanced for more details.
| def get_id | ( | self | ) |
Definition at line 1563 of file z3py.py.
1.8.5
