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