Z3 |

Z3Exception.cs
Go to the documentation of this file.
1/*++
2 Copyright (c) 2012 Microsoft Corporation
3
4 Module Name:
5
6 Exception.cs
7
8 Abstract:
9
10 Z3 Managed API: Exceptions
11
12 Author:
13
14 Christoph Wintersteiger (cwinter) 2012-03-15
15
16 Notes:
17
18--*/
19
20 using System.Diagnostics;
21 using System;
22
23 namespace Microsoft.Z3
24{
28#if !DOTNET_CORE
29 [Serializable]
30#endif
31 public class Z3Exception : Exception
32 {
36 public Z3Exception() : base() { }
37
41 public Z3Exception(string message) : base(message) { }
42
46 public Z3Exception(string message, System.Exception inner) : base(message, inner) { }
47 }
48}
Exception
Microsoft.Z3.Z3Exception
The exception base class for error reporting from Z3
Definition: Z3Exception.cs:32
Microsoft.Z3.Z3Exception.Z3Exception
Z3Exception(string message)
Constructor.
Definition: Z3Exception.cs:41
Microsoft.Z3.Z3Exception.Z3Exception
Z3Exception(string message, System.Exception inner)
Constructor.
Definition: Z3Exception.cs:46
Microsoft.Z3.Z3Exception.Z3Exception
Z3Exception()
Constructor.
Definition: Z3Exception.cs:36
Microsoft.Z3
Definition: AlgebraicNum.cs:27