Definition at line 11579 of file z3py.py.
◆ __init__()
__init__ |
( |
| self, |
|
|
| s, |
|
|
| on_clause ) |
Definition at line 11580 of file z3py.py.
11580 def __init__(self, s, on_clause):
11581 self.s = s
11582 self.ctx = s.ctx
11583 self.on_clause = on_clause
11584 self.idx = 22
11585 global _my_hacky_class
11586 _my_hacky_class = self
11588
11589
void Z3_API Z3_solver_register_on_clause(Z3_context c, Z3_solver s, void *user_context, Z3_on_clause_eh on_clause_eh)
register a callback to that retrieves assumed, inferred and deleted clauses during search.
◆ ctx
◆ idx
◆ on_clause