Z3
Public Member Functions | Data Fields
OnClause Class Reference

Public Member Functions

def __init__ (self, s, on_clause)
 

Data Fields

 s
 
 ctx
 
 on_clause
 
 idx
 

Detailed Description

Definition at line 11642 of file z3py.py.

Constructor & Destructor Documentation

def __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
11650  Z3_solver_register_on_clause(self.ctx.ref(), self.s.solver, self.idx, _on_clause_eh)
11651 
11652 
def __init__(self, s, on_clause)
Definition: z3py.py:11643
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

Definition at line 11645 of file z3py.py.

idx

Definition at line 11647 of file z3py.py.

on_clause

Definition at line 11646 of file z3py.py.

s

Definition at line 11644 of file z3py.py.