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 11406 of file z3py.py.

Constructor & Destructor Documentation

def __init__ (   self,
  s,
  on_clause 
)

Definition at line 11407 of file z3py.py.

11407  def __init__(self, s, on_clause):
11408  self.s = s
11409  self.ctx = s.ctx
11410  self.on_clause = on_clause
11411  self.idx = 22
11412  global _my_hacky_class
11413  _my_hacky_class = self
11414  Z3_solver_register_on_clause(self.ctx.ref(), self.s.solver, self.idx, _on_clause_eh)
11415 
11416 
def __init__(self, s, on_clause)
Definition: z3py.py:11407
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 11409 of file z3py.py.

idx

Definition at line 11411 of file z3py.py.

on_clause

Definition at line 11410 of file z3py.py.

s

Definition at line 11408 of file z3py.py.