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