Z3
src
api
dotnet
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.
Generated on Sat Jun 4 2022 07:10:05 for Z3 by
1.9.3