Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Modules Pages
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;
21 
22 namespace Microsoft.Z3
23 {
27  public enum Status
28  {
32  UNSATISFIABLE = -1,
33 
37  UNKNOWN = 0,
38 
42  SATISFIABLE = 1
43  }
44 
45 }
Used to signify a satisfiable status.
Status
Status values.
Definition: Status.cs:27
Used to signify an unknown status.
Used to signify an unsatisfiable status.