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