Z3 |

Status.cs
Go to the documentation of this file.
1/*++
2 Copyright (c) 2012 Microsoft Corporation
3
4 Module Name:
5
6 Status.cs
7
8 Abstract:
9
10 Z3 Managed API: Status
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 public enum Status
29 {
33 UNSATISFIABLE = -1,
34
38 UNKNOWN = 0,
39
43 SATISFIABLE = 1
44 }
45
46}
Microsoft.Z3
Definition: AlgebraicNum.cs:27
Microsoft.Z3.Status
Status
Status values.
Definition: Status.cs:29
Microsoft.Z3.Status.UNKNOWN
@ UNKNOWN
Used to signify an unknown status.
Microsoft.Z3.Status.UNSATISFIABLE
@ UNSATISFIABLE
Used to signify an unsatisfiable status.
Microsoft.Z3.Status.SATISFIABLE
@ SATISFIABLE
Used to signify a satisfiable status.