C# Класс Microsoft.Z3.Model.ModelEvaluationFailedException

A ModelEvaluationFailedException is thrown when an expression cannot be evaluated by the model.
Наследование: Z3Exception
Показать файл Открыть проект

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

Метод Описание
ModelEvaluationFailedException ( ) : System

An exception that is thrown when model evaluation fails.

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

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

An exception that is thrown when model evaluation fails.
public ModelEvaluationFailedException ( ) : System
Результат System