Go to the documentation of this file.00001
00018 package com.microsoft.z3;
00019
00023 public enum Status
00024 {
00025
00026 UNSATISFIABLE(-1),
00027
00028
00029 UNKNOWN(0),
00030
00031
00032 SATISFIABLE(1);
00033
00034 private final int intValue;
00035
00036 Status(int v)
00037 {
00038 this.intValue = v;
00039 }
00040
00041 public static final Status fromInt(int v)
00042 {
00043 for (Status k : values())
00044 if (k.intValue == v)
00045 return k;
00046 return values()[0];
00047 }
00048
00049 public final int toInt()
00050 {
00051 return this.intValue;
00052 }
00053 }