BvarSel.java
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009 package org.gecode;
00010
00045 public enum BvarSel {
00046 BVAR_NONE,
00047 BVAR_MIN_MIN,
00048 BVAR_MIN_MAX,
00049 BVAR_MAX_MIN,
00050 BVAR_MAX_MAX,
00051 BVAR_SIZE_MIN,
00052 BVAR_SIZE_MAX,
00053 BVAR_DEGREE_MIN,
00054 BVAR_DEGREE_MAX,
00055 BVAR_REGRET_MIN_MIN,
00056 BVAR_REGRET_MIN_MAX,
00057 BVAR_REGRET_MAX_MIN,
00058 BVAR_REGRET_MAX_MAX;
00059
00060 public final int swigValue() {
00061 return swigValue;
00062 }
00063
00064 public static BvarSel swigToEnum(int swigValue) {
00065 BvarSel[] swigValues = BvarSel.class.getEnumConstants();
00066 if (swigValue < swigValues.length && swigValue >= 0 && swigValues[swigValue].swigValue == swigValue)
00067 return swigValues[swigValue];
00068 for (BvarSel swigEnum : swigValues)
00069 if (swigEnum.swigValue == swigValue)
00070 return swigEnum;
00071 throw new IllegalArgumentException("No enum " + BvarSel.class + " with value " + swigValue);
00072 }
00073
00074 private BvarSel() {
00075 this.swigValue = SwigNext.next++;
00076 }
00077
00078 private BvarSel(int swigValue) {
00079 this.swigValue = swigValue;
00080 SwigNext.next = swigValue+1;
00081 }
00082
00083 private BvarSel(BvarSel swigEnum) {
00084 this.swigValue = swigEnum.swigValue;
00085 SwigNext.next = this.swigValue+1;
00086 }
00087
00088 private final int swigValue;
00089
00090 private static class SwigNext {
00091 private static int next = 0;
00092 }
00093 }
00094