Z3
 
Loading...
Searching...
No Matches
OnClause Class Reference

Public Member Functions

 __init__ (self, s, on_clause)
 

Data Fields

 s = s
 
 ctx = s.ctx
 
 on_clause = on_clause
 
int idx = 22
 

Detailed Description

Definition at line 11647 of file z3py.py.

Constructor & Destructor Documentation

◆ __init__()

__init__ ( self,
s,
on_clause )

Definition at line 11648 of file z3py.py.

11648 def __init__(self, s, on_clause):
11649 self.s = s
11650 self.ctx = s.ctx
11651 self.on_clause = on_clause
11652 self.idx = 22
11653 global _my_hacky_class
11654 _my_hacky_class = self
11655 Z3_solver_register_on_clause(self.ctx.ref(), self.s.solver, self.idx, _on_clause_eh)
11656
11657
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.

Field Documentation

◆ ctx

ctx = s.ctx

Definition at line 11650 of file z3py.py.

◆ idx

idx = 22

Definition at line 11652 of file z3py.py.

◆ on_clause

on_clause = on_clause

Definition at line 11651 of file z3py.py.

◆ s

s = s

Definition at line 11649 of file z3py.py.