on_clause Class Reference

Public Member Functions
	on_clause (solver &s, on_clause_eh_t &on_clause_eh)

Detailed Description

Definition at line 4270 of file z3++.h.

Constructor & Destructor Documentation

on_clause()

on_clause ( solver &  s, on_clause_eh_t &  on_clause_eh  )

inline

Definition at line 4284 of file z3++.h.

                                                          : c(s.ctx()) {
            m_on_clause = on_clause_eh;
            Z3_solver_register_on_clause(c, s, this, _on_clause_eh);
            c.check_error();
        }