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

Constructor & Destructor Documentation

def __init__ (   self,
  s,
  on_clause 
)

Definition at line 11490 of file z3py.py.

11490  def __init__(self, s, on_clause):
11491  self.s = s
11492  self.ctx = s.ctx
11493  self.on_clause = on_clause
11494  self.idx = 22
11495  global _my_hacky_class
11496  _my_hacky_class = self
11497  Z3_solver_register_on_clause(self.ctx.ref(), self.s.solver, self.idx, _on_clause_eh)
11498 
11499 
def __init__(self, s, on_clause)
Definition: z3py.py:11490
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 11492 of file z3py.py.

idx

Definition at line 11494 of file z3py.py.

on_clause

Definition at line 11493 of file z3py.py.

s

Definition at line 11491 of file z3py.py.