Microsoft.Z3.Z3Exception.Z3Exception C# (CSharp) Méthode

Z3Exception Class Documentation Afficher le fichier Open project: sslab-gatech/juxta

Z3Exception() public méthode

Constructor.
public Z3Exception ( ) : System
Résultat System 
        public Z3Exception()
            : base()
        {
        }

Same methods

Z3Exception::Z3Exception ( string message ) : System
Z3Exception::Z3Exception ( string message, System inner ) : System
Z3Exception
Z3Exception