Definition at line 11642 of file z3py.py.
◆ __init__()
__init__ |
( |
| self, |
|
|
| s, |
|
|
| on_clause ) |
Definition at line 11643 of file z3py.py.
11643 def __init__(self, s, on_clause):
11644 self.s = s
11645 self.ctx = s.ctx
11646 self.on_clause = on_clause
11647 self.idx = 22
11648 global _my_hacky_class
11649 _my_hacky_class = self
11651
11652
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