Z3
Z3_lbool.java
Go to the documentation of this file.
1 
5 package com.microsoft.z3.enumerations;
6 
10 public enum Z3_lbool {
11  Z3_L_TRUE (1),
13  Z3_L_FALSE (-1);
14 
15  private final int intValue;
16 
17  Z3_lbool(int v) {
18  this.intValue = v;
19  }
20 
21  public static final Z3_lbool fromInt(int v) {
22  for (Z3_lbool k: values())
23  if (k.intValue == v) return k;
24  return values()[0];
25  }
26 
27  public final int toInt() { return this.intValue; }
28 }
29 
static final Z3_lbool fromInt(int v)
Definition: Z3_lbool.java:21