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

Constructor & Destructor Documentation

__init__()

__init__	(		self,
			s,
			on_clause )

Definition at line 11725 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 11727 of file z3py.py.

idx

idx = 22

Definition at line 11729 of file z3py.py.

on_clause

on_clause = on_clause

Definition at line 11728 of file z3py.py.

s

s = s

Definition at line 11726 of file z3py.py.