Z3
src/api/java/Status.java
Go to the documentation of this file.
00001 
00018 package com.microsoft.z3;
00019 
00023 public enum Status
00024 {
00025     // / Used to signify an unsatisfiable status.
00026     UNSATISFIABLE(-1),
00027 
00028     // / Used to signify an unknown status.
00029     UNKNOWN(0),
00030 
00031     // / Used to signify a satisfiable status.
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 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines