Z3
src/api/dotnet/Z3Exception.cs
Go to the documentation of this file.
00001 /*++
00002 Copyright (c) 2012 Microsoft Corporation
00003 
00004 Module Name:
00005 
00006     Exception.cs
00007 
00008 Abstract:
00009 
00010     Z3 Managed API: Exceptions
00011 
00012 Author:
00013 
00014     Christoph Wintersteiger (cwinter) 2012-03-15
00015 
00016 Notes:
00017     
00018 --*/
00019 
00020 using System;
00021 
00022 namespace Microsoft.Z3
00023 {
00027   public class Z3Exception : Exception
00028   {
00032     public Z3Exception() : base() { }
00033 
00037     public Z3Exception(string message) : base(message) { }
00038 
00042     public Z3Exception(string message, System.Exception inner) : base(message, inner) { }
00043   }
00044 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines