C# Class Microsoft.Z3.Model.ModelEvaluationFailedException

A ModelEvaluationFailedException is thrown when an expression cannot be evaluated by the model.
Inheritance: Z3Exception
Afficher le fichier Open project: sslab-gatech/juxta

Méthodes publiques

Méthode Description
ModelEvaluationFailedException ( ) : System

An exception that is thrown when model evaluation fails.

Method Details

ModelEvaluationFailedException() public méthode

An exception that is thrown when model evaluation fails.
public ModelEvaluationFailedException ( ) : System
Résultat System