C# Class Microsoft.Z3.Model.ModelEvaluationFailedException

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

Public Methods

Method Description
ModelEvaluationFailedException ( ) : System

An exception that is thrown when model evaluation fails.

Method Details

ModelEvaluationFailedException() public method

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