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

Z3 An Efficient SMT Solver

Microsoft::Z3::IErrorHandler

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 405 of file Microsoft.Z3.h.

Last modified Thu Nov 12 16:35:57 2009