Home	•	Docs	•	Download	•	Mail	•	FAQ	•	Awards	•	Status	•	MSR

An Efficient SMT Solver

IErrorHandler Interface Reference
[Managed (.NET) API]

IErrorHandler is an abstract (interface) class for passing an error handler. More...

---

Detailed Description

IErrorHandler is an abstract (interface) class for passing an error handler.

The Handler method takes as argument an ErrorCode and processes it.

Definition at line 302 of file Microsoft.Z3.h.