Patterns. More...
Public Member Functions | |
def | as_ast |
def | get_id |
Patterns.
Patterns are hints for quantifier instantiation. See http://rise4fun.com/Z3Py/tutorial/advanced for more details.
def as_ast | ( | self | ) |
Return a pointer to the corresponding C Z3_ast object.
Reimplemented from ExprRef.
Definition at line 1539 of file z3py.py.
Referenced by BoolRef.sort().
01539 01540 def as_ast(self): 01541 return Z3_pattern_to_ast(self.ctx_ref(), self.ast)