Z3
src/api/dotnet/Status.cs
Go to the documentation of this file.
00001 /*++
00002 Copyright (c) 2012 Microsoft Corporation
00003 
00004 Module Name:
00005 
00006     Status.cs
00007 
00008 Abstract:
00009 
00010     Z3 Managed API: Status
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 enum Status
00028   {    
00032     UNSATISFIABLE = -1,
00033 
00037     UNKNOWN = 0,
00038 
00042     SATISFIABLE = 1
00043   }
00044 
00045 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines