C# Class Microsoft.Z3.Z3Exception

The exception base class for error reporting from Z3

Inheritance: System.Exception

Afficher le fichier Open project: sslab-gatech/juxta

Méthodes publiques

Méthode	Description
Z3Exception ( ) : System	Constructor.
Z3Exception ( string message ) : System	Constructor.
Z3Exception ( string message, System inner ) : System	Constructor.

Method Details

Z3Exception() public méthode

Constructor.

public Z3Exception ( ) : System
Résultat	System

Z3Exception() public méthode

Constructor.

public Z3Exception ( string message ) : System
message	string
Résultat	System

Z3Exception() public méthode

Constructor.

public Z3Exception ( string message, System inner ) : System
message	string
inner	System
Résultat	System