C# Class Microsoft.Z3.Z3Exception

The exception base class for error reporting from Z3
Inheritance: System.Exception
Mostra file Open project: sslab-gatech/juxta

Public Methods

Method Description
Z3Exception ( ) : System

Constructor.
Z3Exception ( string message ) : System

Constructor.
Z3Exception ( string message, System inner ) : System

Constructor.

Method Details

Z3Exception() public method

Constructor.
public Z3Exception ( ) : System
return System

Z3Exception() public method

Constructor.
public Z3Exception ( string message ) : System
message string
return System

Z3Exception() public method

Constructor.
public Z3Exception ( string message, System inner ) : System
message string
inner System
return System