SetOpType.java
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009 package org.gecode;
00010
00011 public enum SetOpType {
00012 SOT_UNION,
00013 SOT_DUNION,
00014 SOT_INTER,
00015 SOT_MINUS;
00016
00017 public final int swigValue() {
00018 return swigValue;
00019 }
00020
00021 public static SetOpType swigToEnum(int swigValue) {
00022 SetOpType[] swigValues = SetOpType.class.getEnumConstants();
00023 if (swigValue < swigValues.length && swigValue >= 0 && swigValues[swigValue].swigValue == swigValue)
00024 return swigValues[swigValue];
00025 for (SetOpType swigEnum : swigValues)
00026 if (swigEnum.swigValue == swigValue)
00027 return swigEnum;
00028 throw new IllegalArgumentException("No enum " + SetOpType.class + " with value " + swigValue);
00029 }
00030
00031 private SetOpType() {
00032 this.swigValue = SwigNext.next++;
00033 }
00034
00035 private SetOpType(int swigValue) {
00036 this.swigValue = swigValue;
00037 SwigNext.next = swigValue+1;
00038 }
00039
00040 private SetOpType(SetOpType swigEnum) {
00041 this.swigValue = swigEnum.swigValue;
00042 SwigNext.next = this.swigValue+1;
00043 }
00044
00045 private final int swigValue;
00046
00047 private static class SwigNext {
00048 private static int next = 0;
00049 }
00050 }
00051