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

Constructor & Destructor Documentation

◆ init()

__init__	(	self,
		s,
		on_clause )

Definition at line 11785 of file z3py.py.

    def __init__(self, s, on_clause):
        self.s = s
        self.ctx = s.ctx
        self.on_clause = on_clause
        self.idx = 22
        global _my_hacky_class
        _my_hacky_class = self
        Z3_solver_register_on_clause(self.ctx.ref(), self.s.solver, self.idx, _on_clause_eh)        
        
 

Field Documentation

◆ ctx

ctx = s.ctx

Definition at line 11787 of file z3py.py.

◆ idx

idx = 22

Definition at line 11789 of file z3py.py.

◆ on_clause

on_clause = on_clause

Definition at line 11788 of file z3py.py.

◆ s

s = s

Definition at line 11786 of file z3py.py.

Public Member Functions

Data Fields