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.

    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

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.