C# Класс Microsoft.Z3.Z3Exception

The exception base class for error reporting from Z3

Наследование: System.Exception

Показать файл Открыть проект

Открытые методы

Метод	Описание
Z3Exception ( ) : System	Constructor.
Z3Exception ( string message ) : System	Constructor.
Z3Exception ( string message, System inner ) : System	Constructor.

Описание методов

Z3Exception() публичный Метод

Constructor.

public Z3Exception ( ) : System
Результат	System

Z3Exception() публичный Метод

Constructor.

public Z3Exception ( string message ) : System
message	string
Результат	System

Z3Exception() публичный Метод

Constructor.

public Z3Exception ( string message, System inner ) : System
message	string
inner	System
Результат	System