SetBvarSel.java
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009 package org.gecode;
00010
00022 public enum SetBvarSel {
00023 SETBVAR_NONE,
00024 SETBVAR_MIN_CARD,
00025 SETBVAR_MAX_CARD,
00026 SETBVAR_MIN_UNKNOWN_ELEM,
00027 SETBVAR_MAX_UNKNOWN_ELEM;
00028
00029 public final int swigValue() {
00030 return swigValue;
00031 }
00032
00033 public static SetBvarSel swigToEnum(int swigValue) {
00034 SetBvarSel[] swigValues = SetBvarSel.class.getEnumConstants();
00035 if (swigValue < swigValues.length && swigValue >= 0 && swigValues[swigValue].swigValue == swigValue)
00036 return swigValues[swigValue];
00037 for (SetBvarSel swigEnum : swigValues)
00038 if (swigEnum.swigValue == swigValue)
00039 return swigEnum;
00040 throw new IllegalArgumentException("No enum " + SetBvarSel.class + " with value " + swigValue);
00041 }
00042
00043 private SetBvarSel() {
00044 this.swigValue = SwigNext.next++;
00045 }
00046
00047 private SetBvarSel(int swigValue) {
00048 this.swigValue = swigValue;
00049 SwigNext.next = swigValue+1;
00050 }
00051
00052 private SetBvarSel(SetBvarSel swigEnum) {
00053 this.swigValue = swigEnum.swigValue;
00054 SwigNext.next = this.swigValue+1;
00055 }
00056
00057 private final int swigValue;
00058
00059 private static class SwigNext {
00060 private static int next = 0;
00061 }
00062 }
00063