Z3
Z3_decl_kind.java
Go to the documentation of this file.
1 
5 package com.microsoft.z3.enumerations;
6 
10 public enum Z3_decl_kind {
11  Z3_OP_LABEL (1792),
14  Z3_OP_SUB (519),
16  Z3_OP_ADD (518),
17  Z3_OP_FPA_ABS (2324),
18  Z3_OP_IS_INT (528),
19  Z3_OP_BREDOR (1061),
21  Z3_OP_BNOT (1051),
22  Z3_OP_BNOR (1054),
25  Z3_OP_RA_JOIN (1539),
27  Z3_OP_LE (514),
30  Z3_OP_BREDAND (1062),
31  Z3_OP_LT (516),
34  Z3_OP_BADD (1028),
35  Z3_OP_BUREM0 (1039),
36  Z3_OP_OEQ (267),
39  Z3_OP_REPEAT (1060),
41  Z3_OP_FPA_NAN (2315),
42  Z3_OP_BSMOD0 (1040),
43  Z3_OP_FPA_GT (2332),
44  Z3_OP_BLSHR (1065),
45  Z3_OP_BASHR (1066),
52  Z3_OP_IDIV (523),
53  Z3_OP_PR_GOAL (1283),
56  Z3_OP_FPA_LT (2331),
60  Z3_OP_FPA_LE (2333),
61  Z3_OP_BOR (1050),
63  Z3_OP_TRUE (256),
65  Z3_OP_CONCAT (1056),
67  Z3_OP_IFF (263),
68  Z3_OP_BSHL (1064),
71  Z3_OP_SGT (1048),
74  Z3_OP_NOT (265),
77  Z3_OP_UGT (1047),
78  Z3_OP_FPA_NEG (2320),
81  Z3_OP_BSREM (1033),
83  Z3_OP_SLT (1046),
86  Z3_OP_FPA_EQ (2330),
88  Z3_OP_ULEQ (1041),
89  Z3_OP_BIT1 (1025),
90  Z3_OP_BIT0 (1026),
91  Z3_OP_FPA_MIN (2325),
93  Z3_OP_EQ (258),
94  Z3_OP_FPA_SUB (2319),
95  Z3_OP_BMUL (1030),
97  Z3_OP_STORE (768),
100  Z3_OP_AND (261),
106  Z3_OP_MOD (525),
107  Z3_OP_BUDIV0 (1037),
110  Z3_OP_BNAND (1053),
114  Z3_OP_FD_LT (1549),
116  Z3_OP_DIV (522),
117  Z3_OP_ANUM (512),
118  Z3_OP_MUL (521),
119  Z3_OP_UGEQ (1043),
120  Z3_OP_BSREM0 (1038),
123  Z3_OP_BXOR (1052),
126  Z3_OP_BV2INT (1072),
129  Z3_OP_BSUB (1029),
131  Z3_OP_BXNOR (1055),
134  Z3_OP_PR_DER (1300),
136  Z3_OP_GT (517),
137  Z3_OP_BUREM (1034),
139  Z3_OP_SLEQ (1042),
140  Z3_OP_GE (515),
141  Z3_OP_PB_GE (2306),
142  Z3_OP_BAND (1049),
143  Z3_OP_ITE (260),
149  Z3_OP_BSDIV (1031),
151  Z3_OP_OR (262),
152  Z3_OP_FPA_FP (2342),
154  Z3_OP_AGNUM (513),
158  Z3_OP_BSMOD (1035),
165  Z3_OP_PB_LE (2305),
166  Z3_OP_FPA_GE (2334),
171  Z3_OP_BNEG (1027),
173  Z3_OP_REM (524),
177  Z3_OP_SGEQ (1044),
178  Z3_OP_POWER (529),
179  Z3_OP_XOR3 (1074),
181  Z3_OP_CARRY (1073),
186  Z3_OP_ULT (1045),
188  Z3_OP_BSDIV0 (1036),
190  Z3_OP_INT2BV (1071),
194  Z3_OP_XOR (264),
198  Z3_OP_BNUM (1024),
199  Z3_OP_BUDIV (1032),
202  Z3_OP_FALSE (257),
208  Z3_OP_BCOMP (1063),
210 
211  private final int intValue;
212 
213  Z3_decl_kind(int v) {
214  this.intValue = v;
215  }
216 
217  public static final Z3_decl_kind fromInt(int v) {
218  for (Z3_decl_kind k: values())
219  if (k.intValue == v) return k;
220  return values()[0];
221  }
222 
223  public final int toInt() { return this.intValue; }
224 }
225 
static final Z3_decl_kind fromInt(int v)