IntPropCond.java
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009 package org.gecode;
00010
00031 public enum IntPropCond implements PropCond {
00032 PC_INT_VAL(0),
00033 PC_INT_BND(1),
00034 PC_INT_DOM(2);
00035
00036 public final int swigValue() {
00037 return swigValue;
00038 }
00039
00040 public static IntPropCond swigToEnum(int swigValue) {
00041 IntPropCond[] swigValues = IntPropCond.class.getEnumConstants();
00042 if (swigValue < swigValues.length && swigValue >= 0 && swigValues[swigValue].swigValue == swigValue)
00043 return swigValues[swigValue];
00044 for (IntPropCond swigEnum : swigValues)
00045 if (swigEnum.swigValue == swigValue)
00046 return swigEnum;
00047 throw new IllegalArgumentException("No enum " + IntPropCond.class + " with value " + swigValue);
00048 }
00049
00050 private IntPropCond() {
00051 this.swigValue = SwigNext.next++;
00052 }
00053
00054 private IntPropCond(int swigValue) {
00055 this.swigValue = swigValue;
00056 SwigNext.next = swigValue+1;
00057 }
00058
00059 private IntPropCond(IntPropCond swigEnum) {
00060 this.swigValue = swigEnum.swigValue;
00061 SwigNext.next = this.swigValue+1;
00062 }
00063
00064 private final int swigValue;
00065
00066 private static class SwigNext {
00067 private static int next = 0;
00068 }
00069
00070 public int toInteger() {
00071 return swigValue();
00072 }
00073 }
00074